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
  ☆142Updated this week
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆299Updated 7 months ago
• Yuras / pdf-toolbox
  A collection of tools for processing PDF files in Haskell
  ☆183Updated last year
• andys8 / awesome-haskell-videos
  A collection of awesome Haskell videos. Inspired by awesome projects line.
  ☆45Updated 2 years ago
• wenkokke / NLQ
  A framework for natural language syntax and semantics based on type theory.
  ☆13Updated last year
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆151Updated last year
• ChrisPenner / slick
  Static site generator built on Shake configured in Haskell
  ☆215Updated 11 months ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆115Updated last week
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆170Updated last month
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆56Updated 10 years ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• haskell / fgl
  A Functional Graph Library for Haskell
  ☆194Updated this week
• derekelkins / agda-vim
  Agda interaction in vim
  ☆133Updated 3 years ago
• entangled / entangled
  bi-directional tangle daemon for literate programming
  ☆94Updated 2 years ago
• jgm / pandoc-types
  types for representing structured documents
  ☆115Updated 2 weeks ago
• prikhi / stack-templatizer
  Transform a Folder into a Stack Template
  ☆13Updated 2 years ago
• parsonsmatt / parsonsmatt.github.io
  My Github pages website
  ☆76Updated 6 months ago
• statebox / idris-ct
  formally verified category theory library
  ☆263Updated 5 years ago
• IHaskell / ihaskell-notebook
  IHaskell image for Jupyter Docker Stacks
  ☆79Updated 3 months ago
• kowainik / kowainik.github.io
  🎂 Kowainik web page
  ☆31Updated last year
• copumpkin / categories
  Categories parametrized by morphism equality, in Agda
  ☆151Updated 6 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆58Updated this week
• UniFormal / MMT
  The MMT Language and System
  ☆75Updated last year
• jamesnvc / lsp_server
  Language Server Protocol server for SWI-Prolog
  ☆106Updated last week
• mmark-md / mmark
  Strict markdown processor for writers
  ☆115Updated last week
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆79Updated 3 years ago
• robstewart57 / rdf4h
  rdf4h is a library for working with RDF in Haskell
  ☆78Updated last week
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆59Updated 3 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated 2 years ago
• diagrams / diagrams-pandoc
  A pandoc filter to express diagrams inline using the haskell EDSL diagrams.
  ☆38Updated last month