WebFrame
Lambda-Calculus
Our great sponsors
WebFrame | Lambda-Calculus | |
---|---|---|
5 | 4 | |
104 | 13 | |
- | - | |
1.8 | 0.0 | |
about 2 years ago | 10 months ago | |
F# | F# | |
MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
WebFrame
- Show HN: WebFrame: F# framework for rapid prototyping with ASP.NET Core
- Show HN: F# web server in 3-4 lines of code
-
What are you working on? (2021-11)
Please check this out: https://github.com/RussBaz/WebFrame
-
The State of Web Dev in F#: let’s talk
Here is the link to the repository with samples in the Samples folder: https://github.com/RussBaz/WebFrame.
Lambda-Calculus
-
What are you working on? (2022-09)
Working on applying type theory basics on my lambda calculus based language, (currently added types, and thinking abt adding generics over types). Git repo : LambdaCalculus
-
What are you working on? (2021-12)
I'm trying to make a simple Prototype language that gets transpiled to Lambda-Calc primitives, here is the project repo Project Repo, It works for simple stuff but still needs a lot of work
-
What are you working on? (2021-11)
I just finished working on a Lambda-Calculus based project where I remade FParsec from scratch and using it I built an interpreter for Lambdas, and added a minimal ML like abstraction over it to allow for easy definition of terms, here is the repo Lambda-Calculus-Repo
-
What are you working on? (2021-03)
I'm trying to add an ML like abstraction to this lambda-calc project https://github.com/DemuirGos/Lambda-Calculus next thing will be attempting some blockchain projects
What are some alternatives?
Falco - A toolkit for building fast and functional-first web applications using F#.
Zelda1RandoTools - tools for zelda 1 randomizer
wiz - The F# web framework designed for clarity and speed
Perla - A cross-platform tool for unbundled front-end development that doesn't depend on Node or requires you to install a complex toolchain
Skid - Simple, single-file portable CLI utility for configuration templating
kensaku - Quick and easy search for Japanese kanji, radicals, and words
fslugify - 🐌 Minimalistic slug generator library
fsharp_godot_example - A somewhat simple example project for using F# with Godot.
financial-sharp - 💹 Collection of elementary financial functions
LambdaCalculusFSharp - λ calculus library made purely in and for F#