fsharp-tapl

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

BSD-2-CLAUSE License

Stars
53
View Code on GitHub
Ecosystems: F#

No README available, please check again later.

Related Projects
experimental-functors

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

08 Dec 2013 17
ExtCore

An extended core library for F#.

06 Mar 2013 180
facio

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

14 Nov 2012 45
NHol

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

29 May 2013 11
category-theory-for-dotnet-programmers

This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Pr...

14 Jan 2019 203
fez

F# to core erlang compiler experiment

30 Mar 2017 277
fsharp-cheatsheet

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

15 Oct 2021 216
tablecloth

A standard library with the same API in F#, Rescript and OCaml

19 Jan 2019 509
unquote

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

14 Mar 2015 0
Yaaf.FSharp.Scripting

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

21 Jan 2015 30
fs-core-optimized

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

16 Apr 2013 7
Avalonia.FuncUI-mobile-sample

Port of the Avalonia (v11-rc) xplat template to Avalonia.FuncUI (Elmish) [Pure F#] [.NET 6]

20 Aug 2022 7
fsharp-logic-examples

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

18 Sep 2012 169
FSH

F# Shell with integrated F# scripting. Like Bash or Powershell, but better 'cause F#.

03 Feb 2019 256
TypeShape

Practical generic programming for F#

22 Jul 2016 291