rkoeninger / ShenSharp

Related projects ⓘ

Alternatives and complementary repositories for ShenSharp

• AshleyF / FScheme
  Scheme interpreter in F#
  ☆54Updated last year
• palladin / logic
  A logic programming library for F#
  ☆45Updated 9 years ago
• CraigStuntz / TinyLanguage
  Intro to F# demo project
  ☆25Updated 6 years ago
• tpetricek / nanospeak
  ☆15Updated last year
• polytypic / JoinCML
  ☆15Updated 9 years ago
• chrisamaphone / ml-mukanren
  microkanren in sml
  ☆26Updated 9 years ago
• o1 / n2o
  N2O: Standard ML Application Server
  ☆19Updated 3 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
• fsprojects-archive / zzarchive-llvm-fs
  LLVM bindings for F#
  ☆95Updated 8 years ago
• becls / swish-win
  Swish Concurrency Engine for Windows
  ☆18Updated 3 years ago
• Patient0 / FirstClassLisp
  C# Lisp interpreter with first class macros and continuations
  ☆31Updated 12 years ago
• hodzanassredin / FsForth
  Implementation of forth programming language in fsharp for learning purposes.
  ☆20Updated 5 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆20Updated 9 years ago
• rotty / spells
  A collection of Scheme libraries
  ☆30Updated 9 years ago
• 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
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆33Updated 5 years ago
• barak / oaklisp
  An object-oriented dialect of Scheme
  ☆59Updated 2 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆47Updated 7 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• fsprojects / FSharp.Linq.ComposableQuery
  Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"
  ☆67Updated 5 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• Shen-Language / wiki
  ☆71Updated 9 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 9 years ago
• MattWindsor91 / visualfsharp
  The Visual F# compiler and tools
  ☆40Updated 6 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆35Updated last year
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆152Updated 3 years ago
• jack-pappas / facio
  Tools for building compilers, interpreters, and analysis tools in F#
  ☆45Updated 4 years ago
• Conservatory / s7
  s7 Scheme
  ☆54Updated 5 years ago