rkoeninger / ShenSharp

Related projects: ⓘ

• palladin / logic
  A logic programming library for F#
  ☆45Updated 9 years ago
• AshleyF / FScheme
  Scheme interpreter in F#
  ☆54Updated last year
• CraigStuntz / TinyLanguage
  Intro to F# demo project
  ☆25Updated 6 years ago
• tpetricek / nanospeak
  ☆15Updated last year
• jarcane / heresy
  A BASIC-flavored Lisp dialect
  ☆72Updated last year
• becls / swish-win
  Swish Concurrency Engine for Windows
  ☆18Updated 3 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆20Updated 9 years ago
• Patient0 / FirstClassLisp
  C# Lisp interpreter with first class macros and continuations
  ☆31Updated 12 years ago
• takikawa / sweet-racket
  A port of sweet expressions to Racket
  ☆47Updated last year
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆36Updated 7 years ago
• chrisamaphone / ml-mukanren
  microkanren in sml
  ☆26Updated 9 years ago
• vorov2 / ela
  Ela is a simple, yet powerful modern functional language with a state-of-art syntax. Ela combines strict and lazy evaluation, dynamic typ…
  ☆23Updated 2 years ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆20Updated 2 weeks ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆47Updated 6 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 3 years ago
• polytypic / JoinCML
  ☆15Updated 9 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• ericclack / racket-examples
  Example Racket games and demos using the 'How to Design Programs' framework with sprites, worlds, animation and game logic.
  ☆31Updated 4 years ago
• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆85Updated 4 years ago
• hodzanassredin / FsForth
  Implementation of forth programming language in fsharp for learning purposes.
  ☆20Updated 5 years ago
• Shen-Language / wiki
  ☆71Updated 9 years ago
• o1 / n2o
  N2O: Standard ML Application Server
  ☆19Updated 2 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated last month
• CraigStuntz / Lbac
  Let's Build a Compiler - An educational compiler built from scratch in F#, inspired by Jack Crenshaw's 1988 Pascal code
  ☆49Updated 10 years ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆76Updated 2 years ago
• jack-pappas / experimental-functors
  An experiment at expressing functors in F# the .NET type system.
  ☆17Updated 10 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆66Updated 10 years ago
• jhidding / r6rs-monads
  This package implements genereric syntax for working with monads in R6RS scheme.
  ☆27Updated 6 years ago
• jack-pappas / facio
  Tools for building compilers, interpreters, and analysis tools in F#
  ☆45Updated 3 years ago