Alternatives and similar repositories for PaliNLP2

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

• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆146Updated last month
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆322Updated last year
• Yuras / pdf-toolbox
  A collection of tools for processing PDF files in Haskell
  ☆184Updated last year
• AmpersandTarski / Ampersand
  This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …
  ☆43Updated last week
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆60Updated last month
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆216Updated 2 years ago
• wenkokke / NLQ
  A framework for natural language syntax and semantics based on type theory.
  ☆13Updated last year
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆176Updated 3 weeks ago
• ChrisPenner / slick
  Static site generator built on Shake configured in Haskell
  ☆218Updated 2 months ago
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆156Updated 2 years ago
• edwinb / Idris2
  A purely functional programming language with first class types
  ☆61Updated 9 months ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆125Updated 2 months ago
• robstewart57 / rdf4h
  rdf4h is a library for working with RDF in Haskell
  ☆79Updated 4 months ago
• UweSchmidt / hxt
  Haskell XML Toolbox
  ☆125Updated last year
• derekelkins / agda-vim
  Agda interaction in vim
  ☆134Updated 4 years ago
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆169Updated last week
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated this week
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated 2 years ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆31Updated this week
• andrevdm / bhoogle
  Hoogle terminal UI brick example app
  ☆105Updated last month
• 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
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆93Updated last year
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 6 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆146Updated 10 months ago
• gelisam / hawk
  Haskell text processor for the command-line
  ☆363Updated last year
• andys8 / awesome-haskell-videos
  A collection of awesome Haskell videos. Inspired by awesome projects line.
  ☆46Updated 2 years ago
• statebox / idris-ct
  formally verified category theory library
  ☆268Updated 5 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 6 months ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• mmark-md / mmark
  Strict markdown processor for writers
  ☆116Updated this week