FormallySharp
Lambda-Calculus
Our great sponsors
FormallySharp | Lambda-Calculus | |
---|---|---|
1 | 4 | |
3 | 13 | |
- | - | |
0.0 | 0.0 | |
about 2 years ago | 10 months ago | |
F# | F# | |
GNU Affero General Public License v3.0 | 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.
FormallySharp
-
What are you working on? (2021-12)
Yup, it's on GitHub
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?
smt2-parser - Parse smt2 in Haskell
WebFrame - F# framework for rapid prototyping with ASP.NET Core.
LambdaCalculusFSharp - λ calculus library made purely in and for F#
Zelda1RandoTools - tools for zelda 1 randomizer
Perla - A cross-platform tool for unbundled front-end development that doesn't depend on Node or requires you to install a complex toolchain
MongoDB.FSharp - Silent utilities to make the official MongoDB driver feel natural to work with in F#
kensaku - Quick and easy search for Japanese kanji, radicals, and words
Skid - Simple, single-file portable CLI utility for configuration templating
fsharp_godot_example - A somewhat simple example project for using F# with Godot.
financial-sharp - 💹 Collection of elementary financial functions