fsharp-tapl

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

BSD-2-CLAUSE License

Stars
53
View Code on GitHub
Ecosystems: F#

Statistics for this project are still being loaded, please check back later.

Related Projects
Yaaf.FSharp.Scripting

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

21 Jan 2015 30
experimental-functors

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

08 Dec 2013 17
fez

F# to core erlang compiler experiment

30 Mar 2017 277
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
fs-core-optimized

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

16 Apr 2013 7
unquote

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

14 Mar 2015 0
TypeShape

Practical generic programming for F#

22 Jul 2016 291
FSH

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

03 Feb 2019 256
tablecloth

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

19 Jan 2019 509
fsharp-logic-examples

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

18 Sep 2012 169
fsharp-cheatsheet

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

15 Oct 2021 216
Avalonia.FuncUI-mobile-sample

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

20 Aug 2022 7
facio

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

14 Nov 2012 45
ExtCore

An extended core library for F#.

06 Mar 2013 180
NHol

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

29 May 2013 11