jack-pappas/spsc-lite-fsharp jack-pappas/spsc-lite-fsharp

  • Stars
    star
    2
  • Language
    F#
  • Created over 11 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jack-pappas/spsc-lite-fsharp
github

jack-pappas

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A Small Positive Supercompiler in F#

More Repositories

1

ExtCore

An extended core library for F#.
F#
177
star
2

fsharp-logic-examples

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

fsharp-tapl

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

facio

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

experimental-functors

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

NHol

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

fs-core-optimized

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

sublime-fsharp

F# syntax highlighting for Sublime Text 2
7
star
9

BBTrees

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

facio-examples

Example projects using the facio compiler tools
F#
4
star
11

FSharp.Text.StructuredFormat

A pretty-printing library for F#.
F#
2
star
12

CompilerTutorial

Exercises demonstrating various challenges in compiler-writing
F#
1
star