Alternatives and similar repositories for kantinfo

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

• dikurevy / Public-Archive
  Public archive of material performed on stage through the life time of DIKUrevy
  ☆27Updated 5 months ago
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated 11 months ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆167Updated 7 months ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆21Updated 7 months ago
• vqns / polymlb
  ML Basis for Poly/ML
  ☆10Updated 2 months ago
• gelisam / klister
  an implementation of stuck macros
  ☆145Updated 3 weeks ago
• cbourjau / frederiksberg_beamer
  LaTex beamer theme for the University of Copenhagen
  ☆19Updated 5 years ago
• fossas / haskell-static-alpine
  Statically linked distributions of GHC for building binaries in Docker.
  ☆17Updated 4 months ago
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated 3 months ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated 6 months ago
• jwshii / etna
  ☆11Updated 3 months ago
• cartazio / numbers
  ☆31Updated 2 years ago
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆109Updated 10 years ago
• davidsd / hyperion
  A Haskell framework for running concurrent computations on an HPC cluster.
  ☆10Updated 3 weeks ago
• 0xd34df00d / hsqoi
  Haskell implementation of the QOI image format
  ☆17Updated 2 years ago
• probcomp / haskell-trace-types
  Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"
  ☆10Updated 3 weeks ago
• harp-project / AML-Formalization
  ☆11Updated this week
• diku-dk / sigdoc
  Signature documentation tool for Standard ML
  ☆14Updated last year
• ghc / nofib
  Mirror of nofib repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆14Updated 5 years ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆88Updated 5 months ago
• athas / EggsML
  A fully fledged and highly scalable lunch management system for the modern enterprise
  ☆29Updated last week
• anderslundstedt / pca-realizability
  Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.
  ☆13Updated 8 years ago
• uwplse / PUMPKIN-PATCH
  Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
  ☆51Updated last year
• tchajed / coq-record-update
  Library to create Coq record update functions
  ☆48Updated last week
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆71Updated 5 years ago
• tjknoth / resyn
  ☆21Updated 4 years ago