Extensions for F#

The Ivory EDSL

A stream-based runtime-verification framework for generating hard real-time C code.

Different type inference algorithms implemented in F#

21 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/

A* Search algorithm in F#

The A* algorithm implemented in F# and showcased in a simple 2D, tile based, graphical application.

Nemerle language. Main repository.

demonstrating shunting yard algorithm and evaluation of arithmetic expressions

Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.

SKI combinators

classical sequent calculus, embedded in Haskell

An interactive theorem prover for string diagrams

Custom programming interpreter for ZSharp (Z#), a custom game programming language I made

F# implementation of pineapple lang

SLING - A natural language frame semantics parser