Alternatives and similar repositories for 7morelang:

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

• jorendorff / talks
  Some talks I've given
  ☆89Updated 2 years ago
• computationclub / computationclub.github.io
  The website of the London Computation Club
  ☆74Updated last year
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 5 years ago
• thoughtbot / maybe_haskell
  Programming without Null
  ☆80Updated last year
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 14 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆63Updated 5 years ago
• typesanitizer / not-a-blog
  Not a description.
  ☆126Updated 5 years ago
• hakonrossebo / functional-programming-babelfish
  A cheat sheet for finding similar concepts and operators in different functional languages
  ☆36Updated 5 months ago
• expede / teaching-fp
  Techniques, advice, and anecdotes about how to teach Functional Programming
  ☆57Updated 8 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• connermcd / sed
  Haskell implementation of sed
  ☆37Updated 7 years ago
• mfp / ocsiblog
  Stand-alone, minimalistic blogging engine powered by the Ocsigen web server + framework for OCaml.
  ☆125Updated 15 years ago
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆33Updated 7 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
• iquiw / cabal-delete
  Command line tool to delete cabal library packages
  ☆25Updated 9 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• gasche / popl2014-papers
  ☆73Updated 11 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆146Updated last month
• mcfilib / ribimaybe
  Maybe Functor, Applicative and Monad
  ☆30Updated 7 years ago
• marjaimate / erlport
  Airport simulation with Erlang OTP
  ☆13Updated 8 years ago
• hatashiro / monkey-hs
  An interpreter for Monkey with parser combinator written in Haskell
  ☆48Updated 5 years ago
• idris-hackers / IdrisWeb
  A secure web framework, built in the Idris language.
  ☆109Updated 11 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• alhassy / HaskellCheatSheet
  A reference sheet for the basics of the mind-expanding Haskell language ^_^
  ☆30Updated 4 years ago
• thzt / scheme-koans
  ☆10Updated 7 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago