Alternatives and similar repositories for atto-lisp:

Users that are interested in atto-lisp are comparing it to the libraries listed below

• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 7 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 5 months ago
• haskell-hvr / rss
  A library for generating RSS 2.0 feeds.
  ☆18Updated 7 months ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 7 years ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated last week
• aaronlevin / free-http
  An HTTP Client in Haskell Based on Free Monads
  ☆10Updated 9 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 11 years ago
• michaelballantyne / meta-minikanren
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆22Updated 8 years ago
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆12Updated 7 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 3 months ago
• GaloisInc / golang
  Parser and type analysis for the Go programming language
  ☆12Updated last year
• nikita-volkov / base-prelude
  The most complete prelude formed only from the "base" package
  ☆28Updated last year
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• deech / lambdaconf-shen-talk
  ☆15Updated 8 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 5 months ago
• bobatkey / sorting-types
  Typed DSLs for sorting
  ☆19Updated 7 years ago
• singpolyma / wai-session
  Flexible session middleware for WAI
  ☆15Updated 4 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated last month
• haskell / haskell-snippets
  Official collection of YASnippet Haskell snippets for Emacs.
  ☆13Updated 3 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 3 months ago
• mpickering / hlint-refactor-mode
  Emacs bindings for hlint's --refactor option
  ☆27Updated 6 years ago
• david-christiansen / tt-playground
  A playground for type theory implementations in Racket
  ☆20Updated 9 years ago