Alternatives and similar repositories for nhshackday.github.io

Users that are interested in nhshackday.github.io are comparing it to the libraries listed below

• florence / reactor
  An embedded synchronous reactive language, a la reactiveML, for Racket.
  ☆13Updated 7 years ago
• lexi-lambda / racket-tulip
  ☆15Updated 9 years ago
• lexi-lambda / envy
  An environment variable manager for Racket applications
  ☆17Updated 2 years ago
• philnguyen / json-type-provider
  Well-typed JSON parser generator inspired by Type Provider
  ☆16Updated 4 years ago
• rain-1 / nand-lang
  nand-lang
  ☆15Updated 7 years ago
• dedbox / racket-neuron
  Decentralized Software Organisms
  ☆18Updated 3 years ago
• webyrd / curnelo
  Cur dependently-typed language in miniKanren.
  ☆17Updated 8 years ago
• lexi-lambda / mini-ml
  An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)
  ☆21Updated 6 years ago
• florence / pop-pl
  A Patient-Oriented Prescription Programing Language
  ☆21Updated 8 years ago
• agda-attic / agda-system-io
  Bindings to Haskell's IO monad which respect Agda's semantics
  ☆24Updated 7 years ago
• jhickner / hobbes
  A cross-platform file activity monitor
  ☆71Updated 9 years ago
• philipcunningham / ruby-marshal
  Haskell library to parse a subset of Ruby objects serialised with Marshal.dump
  ☆33Updated 3 years ago
• hellerve / blog
  My personal blog
  ☆16Updated last week
• david-christiansen / todo-list
  A TODO list feature for DrRacket, like to Agda's goal list but for any language.
  ☆34Updated 2 years ago
• webyrd / relational-interpreter-with-match
  Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher
  ☆11Updated 10 years ago
• rocq-archive / pts
  A formalisation of Pure Type Systems
  ☆10Updated 6 years ago
• cwebber / racket-linkeddata
  Linked data tooling for the Racket programming language (json-ld, eventually more)
  ☆16Updated 7 years ago
• gregspurrier / shen-ruby
  ShenRuby is a port of the Shen programming language to Ruby
  ☆77Updated 6 years ago
• eu90h / racket-github-api
  simple bindings for the github api
  ☆20Updated 2 years ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆35Updated last year
• LeifAndersen / racket-sml
  ☆18Updated 2 years ago
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆29Updated 11 years ago
• mneumann / wee
  (MOVED TO CODEBERG) A high-level, light-weight web framework for Ruby with many ideas from Seaside.
  ☆117Updated 5 years ago
• jessealama / argo
  JSON Schema Adventures
  ☆17Updated 2 years ago
• greghendershott / pdb
  Multi-file check-syntax database
  ☆14Updated last year
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆34Updated 3 years ago
• lexi-lambda / racket-curly-fn
  A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.
  ☆18Updated 9 years ago
• panicz / sracket
  SLAYER ported to Racket
  ☆21Updated 6 years ago
• zamora / lightsaber
  Draw lightsabers using Racket's pict library
  ☆11Updated 6 years ago
• wilbowma / scribble-minted
  A scribble library for using pygmentize
  ☆16Updated 3 years ago