Alternatives and similar repositories for ShenSharp:

Users that are interested in ShenSharp are comparing it to the libraries listed below

• palladin / logic
  A logic programming library for F#
  ☆46Updated 10 years ago
• AshleyF / FScheme
  Scheme interpreter in F#
  ☆55Updated last year
• tpetricek / nanospeak
  ☆15Updated 2 years ago
• CraigStuntz / TinyLanguage
  Intro to F# demo project
  ☆25Updated 6 years ago
• Patient0 / FirstClassLisp
  C# Lisp interpreter with first class macros and continuations
  ☆31Updated 12 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆21Updated 10 years ago
• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆91Updated 5 years ago
• fsprojects-archive / zzarchive-llvm-fs
  LLVM bindings for F#
  ☆95Updated 9 years ago
• polytypic / JoinCML
  ☆15Updated 9 years ago
• chrisamaphone / ml-mukanren
  microkanren in sml
  ☆26Updated 10 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
• euhmeuh / wasm-adventure
  My adventure into the marvelous world of Web Assembly
  ☆63Updated 6 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 5 years ago
• bamboo / idris-cil
  A Common Intermediate Language backend for Idris 1
  ☆133Updated 6 years ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆43Updated 8 months ago
• jackfoxy / DependentTypes
  experiments with @robkuz LimitedValue type
  ☆71Updated 5 years ago
• rotty / spells
  A collection of Scheme libraries
  ☆30Updated 9 years ago
• becls / swish-win
  Swish Concurrency Engine for Windows
  ☆18Updated 4 years ago
• jack-pappas / facio
  Tools for building compilers, interpreters, and analysis tools in F#
  ☆46Updated 4 years ago
• o1 / n2o
  N2O: Standard ML Application Server
  ☆19Updated 3 years ago
• iwillspeak / feersum
  A Scheme compiler that targets .NET written in F#
  ☆28Updated 9 months ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated 2 weeks ago
• kurtschelfthout / FsLogic
  A port of MiniKanren to F# - embedded, typed logic programming
  ☆29Updated 7 years ago
• stchang / mlish
  ☆22Updated 5 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 11 years ago
• racket / frtime
  ☆19Updated last month
• hodzanassredin / FsForth
  Implementation of forth programming language in fsharp for learning purposes.
  ☆21Updated 5 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 8 months ago
• fsprojects / FSharp.Linq.ComposableQuery
  Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"
  ☆69Updated 5 years ago