What are you working on? (2021-12)

• LambdaCalculusFSharp

  4 29 2.6 F#

  λ calculus library made purely in and for F#

Related: I've made a naive lambda calculus calculator a few months ago, here (even with a web app).

• Lambda-Calculus

  4 13 0.0 F#

  A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime (by Demuirgos)

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

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• FormallySharp

  1 3 0.0 F#

  Online formal language designer

Yup, it's on GitHub

• MongoDB.FSharp

  1 1 0.0 F#

  Silent utilities to make the official MongoDB driver feel natural to work with in F#

• Perla

  7 132 8.2 F#

  A cross-platform tool for unbundled front-end development that doesn't depend on Node or requires you to install a complex toolchain

I keep working on Perla :) https://github.com/AngelMunoz/Perla

• Casgliad.Data

  1 2 5.5 F#

  Kanren-style deductive database DSL for F#.

• fsharp_godot_example

  1 20 0.0 F#

  A somewhat simple example project for using F# with Godot.

Some time ago I also made an old version of it public as an example of how I use F# and Godot together which can be found over at https://github.com/lenscas/fsharp_godot_example I'm not sure how up to date I will keep it with the real game as prototypes get "released" but I'm more than willing to merge PR's to improve code style and let it become its own thing :)

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

Suggest a related project