Accompanying code for "Types and Programming Languages", ported to F#
☆55Sep 1, 2013Updated 13 years ago
Alternatives and similar repositories for fsharp-tapl
Users that are interested in fsharp-tapl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An experimental ML style language☆13Mar 28, 2019Updated 7 years ago
- ☆28Mar 2, 2018Updated 8 years ago
- Multi-stage Programming in F#☆12Mar 30, 2016Updated 10 years ago
- limited dependent typing via F# Type Provider☆56Mar 2, 2018Updated 8 years ago
- [ARCHIVE] Old F# PowerPack, Community Edition☆94Jun 1, 2015Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Includes samples for my blog posts, source code and slides for my talks and other resources.☆69Feb 19, 2017Updated 9 years ago
- MSIL computation expression builder for F# implemented against IKVM.Reflection API☆19Mar 7, 2014Updated 12 years ago
- Deploying things with dependencies to AWS EC2☆17Oct 2, 2017Updated 9 years ago
- Prototype for an F# MSIL DSL☆27Oct 24, 2013Updated 13 years ago
- DSLs in Action samples in Java, Groovy, Ruby, Clojure and Scala, translated to F#☆194Jan 22, 2022Updated 4 years ago
- Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.☆182Jan 17, 2017Updated 9 years ago
- ☆15Jun 11, 2015Updated 11 years ago
- Play Framework 2.0.2 + AngularJS + Squeryl + lift-json Sample☆14Feb 9, 2013Updated 13 years ago
- An experiment at expressing functors in F# the .NET type system.☆17Dec 8, 2013Updated 12 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Parser combinator library in Scala☆20Aug 29, 2019Updated 7 years ago
- FsHlvm is a cross-platform open-source high level virtual machine written in F# and uses the LLVM library for high-performance code gener…☆28Nov 21, 2020Updated 5 years ago
- F# based HTML DSL for generating static HTML programmatically☆29Dec 28, 2016Updated 9 years ago
- FMarkup is an HTML/CSS generation library and DSL for F#.☆19Aug 1, 2013Updated 13 years ago
- Functional programming and other utilities from the original "fsharpx" project☆697Dec 20, 2025Updated 10 months ago
- An extended core library for F#.☆179Nov 7, 2021Updated 4 years ago
- Demonstration of combining Fay and Bacon.js☆12Jan 29, 2013Updated 13 years ago
- [ARCHIVED] Extensions for asynchronous programming in F#☆44Apr 8, 2015Updated 11 years ago
- The Scala runtime system for the Ermine programming language☆24Jun 10, 2014Updated 12 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 8 years ago
- A collection of statistics algorithms from Mersenne twister generator to MCMC sampling.☆21Aug 2, 2022Updated 4 years ago
- Create type providers just by implementing a simple REST service☆19Aug 3, 2016Updated 10 years ago
- Python core implemented in F# language and under dotnetcore 3.1 or later.☆25May 14, 2020Updated 6 years ago
- Stack machine simulation☆14Sep 25, 2012Updated 14 years ago
- A lightweight library of abstractions for Higher-kinded programming in F#☆185Mar 2, 2018Updated 8 years ago
- A CIL (also known as MSIL) interpreter.☆14Jun 2, 2021Updated 5 years ago
- Erlang source code parser written in Rust☆11Aug 26, 2026Updated 2 months ago
- Simple fluent agent for Windows☆15Jan 19, 2013Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Typed (Smalltalk × Haskell × Scala × Scheme) little-bastard-child that compiles to JavaScript.☆14Aug 1, 2013Updated 13 years ago
- [ARCHIVED] FsControl in now included in FSharpPlus https://fsprojects.github.io/FSharpPlus☆102Dec 25, 2016Updated 9 years ago
- Lisp compiler in F#☆24Nov 27, 2010Updated 15 years ago
- F# tools for generating documentation (Markdown processor and F# code formatter)☆492Oct 15, 2026Updated last week
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆28Apr 10, 2017Updated 9 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 4 years ago
- Deprecated and superseded by https://github.com/scalamacros/paradise☆36Jan 27, 2014Updated 12 years ago