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
  ☆147Updated last month
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆61Updated this week
• 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 3 weeks ago
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆157Updated 2 years ago
• statebox / idris-ct
  formally verified category theory library
  ☆268Updated 5 years ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated last week
• edwinb / Idris2
  A purely functional programming language with first class types
  ☆61Updated 9 months ago
• UniFormal / MMT
  The MMT Language and System
  ☆79Updated 4 months ago
• robstewart57 / rdf4h
  rdf4h is a library for working with RDF in Haskell
  ☆79Updated 5 months ago
• andys8 / awesome-haskell-videos
  A collection of awesome Haskell videos. Inspired by awesome projects line.
  ☆46Updated 2 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆178Updated last month
• yallop / higher
  Higher-kinded programming in OCaml
  ☆189Updated 2 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆216Updated 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
• Yuras / pdf-toolbox
  A collection of tools for processing PDF files in Haskell
  ☆184Updated last year
• BoeingX / haskell-programming-from-first-principles
  Notes and solutions to exercises of "Haskell Programming from first principles"
  ☆37Updated 5 years ago
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated 3 months ago
• wenkokke / NLQ
  A framework for natural language syntax and semantics based on type theory.
  ☆13Updated last year
• jgm / pandoc-types
  types for representing structured documents
  ☆119Updated last week
• ChrisPenner / slick
  Static site generator built on Shake configured in Haskell
  ☆218Updated 2 months ago
• YPares / porcupine
  Express parametrable, composable and portable data pipelines
  ☆88Updated 3 years ago
• Anton-Latukha / Fundamental-Haskell
  Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meani…
  ☆128Updated 3 years ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 7 years ago
• parsonsmatt / parsonsmatt.github.io
  My Github pages website
  ☆77Updated 3 weeks ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• chiroptical / ctfp-book-club
  Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
  ☆26Updated 3 years ago
• gdevanla / scotty-from-ground-up
  Examples to demonstrate the core computational structures of Haskell based scotty web framework library
  ☆14Updated 8 years ago
• kowainik / kowainik.github.io
  🎂 Kowainik web page
  ☆31Updated 2 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆323Updated last year
• hmemcpy / haskell-hie-devcontainer
  A DevContainer for VSCode, for installing GHC 8.6.5, HIE (Haskell IDE Engine) and the required plugins
  ☆162Updated 4 years ago