Ecosyste.ms: Awesome

https://github.com/jack-pappas/extcore

An extended core library for F#.

csharp data-structures dotnet fsharp immutable performance

Last synced: 09 Jan 2025

https://github.com/jack-pappas/fsharp-logic-examples

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.

Last synced: 28 Oct 2024

https://github.com/jack-pappas/fsharp-tapl

Accompanying code for "Types and Programming Languages", ported to F#

Last synced: 28 Oct 2024

https://github.com/jack-pappas/facio

Tools for building compilers, interpreters, and analysis tools in F#

cfg fsharp grammar lexer-generator parser-generator regex

Last synced: 28 Oct 2024

https://github.com/jack-pappas/experimental-functors

An experiment at expressing functors in F# the .NET type system.

Last synced: 28 Oct 2024

https://github.com/jack-pappas/nhol

An implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.

Last synced: 28 Oct 2024

https://github.com/jack-pappas/fs-core-optimized

Optimized implementations of collections from the F# Core library (FSharp.Core)

Last synced: 28 Oct 2024

https://github.com/jack-pappas/sublime-fsharp

F# syntax highlighting for Sublime Text 2

Last synced: 15 Dec 2024

https://github.com/jack-pappas/bbtrees

An F# implementation of weight-balanced binary search trees.

Last synced: 15 Dec 2024

https://github.com/jack-pappas/facio-examples

Example projects using the facio compiler tools

Last synced: 15 Dec 2024

https://github.com/jack-pappas/spsc-lite-fsharp

A Small Positive Supercompiler in F#

Last synced: 15 Dec 2024

https://github.com/jack-pappas/fsharp.text.structuredformat

A pretty-printing library for F#.

Last synced: 15 Dec 2024

https://github.com/jack-pappas/compilertutorial

Exercises demonstrating various challenges in compiler-writing

Last synced: 15 Dec 2024