Lambda-Calculus
Diffract
Our great sponsors
| Lambda-Calculus | Diffract | |
|---|---|---|
| 4 | 1 | |
| 13 | 47 | |
| - | - | |
| 0.0 | 3.8 | |
| 10 months ago | 16 days 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.
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
Diffract
-
What are you working on? (2021-11)
During the hacktoberfest, we open source Diffract. It is a .NET library that displays a readable diff between two objects. It is particularly useful for unit testing complex objects. The library is written in F# but works with both F# and C#. Here is an example from the readme with union where the case is different:
What are some alternatives?
WebFrame - F# framework for rapid prototyping with ASP.NET Core.
NBomber - Modern and flexible load testing framework for Pull and Push scenarios, designed to test any system regardless a protocol (HTTP/WebSockets/AMQP etc) or a semantic model (Pull/Push).
Zelda1RandoTools - tools for zelda 1 randomizer
Skid - Simple, single-file portable CLI utility for configuration templating
Perla - A cross-platform tool for unbundled front-end development that doesn't depend on Node or requires you to install a complex toolchain
Expecto - A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
kensaku - Quick and easy search for Japanese kanji, radicals, and words
Giraffe - A native functional ASP.NET Core web framework for F# developers.
fsharp_godot_example - A somewhat simple example project for using F# with Godot.
financial-sharp - 💹 Collection of elementary financial functions