facio

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

APACHE-2.0 License

Stars
45
View Code on GitHub Visit Website
Ecosystems: F#

No README available, please check again later.

Related Projects
Farkle

LALR parser combinators for C# and F#.

08 Jul 2017 90
Tiger

Tiger Compiler implemented in F#

15 Oct 2016 11
NHol

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

29 May 2013 11
experimental-functors

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

08 Dec 2013 17
fsharp-tapl

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

28 Oct 2012 53
fasmi

F# -> ASM disassembler

09 May 2021 183
ExtCore

An extended core library for F#.

06 Mar 2013 180
unquote

Automatically exported from code.google.com/p/unquote

14 Mar 2015 0
FsLexYacc

Lexer and parser generators for F#

18 Apr 2014 201
Yaaf.FSharp.Scripting

A helper library to easily add F# scripts to your application.

21 Jan 2015 30
FsAutoComplete

F# language server using Language Server Protocol

12 May 2015 400
fsharp-cheatsheet

An updated cheat sheet for F# 🔷🦔💙💛🤍💚

15 Oct 2021 216
Fathom

Prototype atom feed reader in F# with SAFE stack

29 Jan 2018 5
fsharp-logic-examples

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

18 Sep 2012 169
fs-core-optimized

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

16 Apr 2013 7