dikurevy / Public-Archive

Related projects ⓘ

Alternatives and complementary repositories for Public-Archive

• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated last year
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆15Updated 10 months ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated 10 months ago
• MPLLang / mpllib
  Official library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆16Updated 10 months ago
• kantinen / kantinfo
  a simple infoscreen system
  ☆12Updated last month
• kantinen / infoscreen
  Slides til infoskærmen
  ☆8Updated last month
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 2 months ago
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated last year
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 7 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆132Updated 3 weeks ago
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆89Updated 11 months ago
• brendanzab / rust-nbe-for-mltt
  Normalization by evaluation for Martin-Löf Type Theory with dependent records
  ☆92Updated 2 years ago
• robsimmons / abbot
  Generation of abstract binding trees
  ☆27Updated last month
• diku-dk / sml-server
  Web server infrastructure for Standard ML
  ☆13Updated last year
• zshipko / futhark-bindgen
  A Futhark binding generator for Rust and OCaml
  ☆28Updated 9 months ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆21Updated 4 years ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆55Updated 5 months ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆31Updated 5 years ago
• plum-umd / cgc
  Constructive Galois connections
  ☆32Updated 6 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 5 years ago
• diku-kmc / kleenexlang
  The Kleenex programming language
  ☆55Updated last month
• proof-tree-builder / proof-tree-builder.github.io
  A web-based graphical proof assistant for LK and Hoare logic.
  ☆32Updated 2 years ago
• mietek / research
  Work in progress
  ☆34Updated 4 months ago
• hargoniX / socket.lean
  sockets for Lean 4
  ☆18Updated 4 months ago
• balint99 / sfpl
  A simple functional programming language.
  ☆21Updated 3 years ago
• hubris-lang / hubris
  A dependently typed programming language, and verification tool
  ☆26Updated 8 years ago
• ndmitchell / profiterole
  GHC prof manipulation script
  ☆31Updated 9 months ago
• diku-dk / sigdoc
  Signature documentation tool for Standard ML
  ☆14Updated last year
• andrejbauer / coop
  A prototype programming language for programming with runners
  ☆88Updated 3 years ago