jack-pappas/fsharp-tapl jack-pappas/fsharp-tapl

  • Stars
    star
    52
  • Rank 560,474 (Top 12 %)
  • Language
    F#
  • License
    BSD 2-Clause "Sim...
  • Created about 12 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jack-pappas/fsharp-tapl
github

jack-pappas

Reviews

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

Repository Details

Accompanying code for "Types and Programming Languages", ported to 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

facio

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

experimental-functors

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

NHol

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

fs-core-optimized

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

sublime-fsharp

F# syntax highlighting for Sublime Text 2
7
star
8

BBTrees

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

facio-examples

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

FSharp.Text.StructuredFormat

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

spsc-lite-fsharp

A Small Positive Supercompiler in F#
F#
2
star
12

CompilerTutorial

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