Alternatives and similar repositories for PaliNLP2

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

• UniFormal / MMT
  The MMT Language and System
  ☆79Updated 3 months ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆332Updated this week
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆145Updated last month
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆310Updated last year
• statebox / idris-ct
  formally verified category theory library
  ☆268Updated 5 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆176Updated last week
• HoTT / HoTT-Agda
  Development of homotopy type theory in Agda
  ☆427Updated 6 years ago
• Andromedans / andromeda
  A proof assistant for general type theories
  ☆308Updated 4 months ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆60Updated 2 weeks ago
• ChrisPenner / slick
  Static site generator built on Shake configured in Haskell
  ☆218Updated 2 months ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆310Updated last year
• BoeingX / haskell-programming-from-first-principles
  Notes and solutions to exercises of "Haskell Programming from first principles"
  ☆37Updated 5 years ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆135Updated 4 years ago
• cedille / cedille
  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  ☆383Updated 2 years ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆195Updated 2 weeks ago
• Yuras / pdf-toolbox
  A collection of tools for processing PDF files in Haskell
  ☆184Updated last year
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆156Updated 2 years ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated 2 years ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 6 years ago
• edwinb / Idris2
  A purely functional programming language with first class types
  ☆61Updated 9 months ago
• haskell / haskeline
  A Haskell library for line input in command-line programs.
  ☆244Updated 2 months ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆175Updated 4 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆234Updated last month
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆57Updated 11 years ago
• martinescardo / HoTT-UF-Agda-Lecture-Notes
  Lecture notes on univalent foundations of mathematics with Agda
  ☆231Updated 3 weeks ago
• lettier / parsing-with-haskell-parser-combinators
  🔍 A step-by-step guide to parsing using Haskell parser combinators.
  ☆94Updated 6 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆216Updated 2 years ago
• agda / agda-categories
  A new Categories library for Agda
  ☆391Updated 3 weeks ago
• willbasky / Awesome-list-of-Haskell-mentors
  An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
  ☆177Updated 3 years ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆228Updated 8 months ago