Alternatives and similar repositories for staffeli:

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

• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• madsobitsoe / CATITOR
  The extremely portable, extremely extensible line editor
  ☆13Updated 3 years ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• sweirich / haskelltester
  Simple autograder for Haskell programming assignments
  ☆17Updated 2 months ago
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆165Updated 3 months ago
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated last year
• kantinen / infoscreen
  Slides til infoskærmen
  ☆8Updated last month
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆58Updated last year
• hgoes / smtlib2
  SMTLib2 interface implementation for Haskell
  ☆17Updated 7 years ago
• diku-compSys / compSys-e2020-pub
  Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆31Updated 4 years ago
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated 2 years ago
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• nachivpn / nbe-course
  NbE course @ Chalmers
  ☆28Updated 7 months ago
• kfl / ebpf-tools
  Experiments with eBPF bytecode
  ☆13Updated last year
• jaspervdj / uplcg
  Untitled PL Card Game
  ☆20Updated 4 years ago
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆25Updated 3 months ago
• tip-org / tools
  ☆21Updated 2 months ago
• pigworker / Samizdat
  being bits and pieces I'm inclined to leave lying around
  ☆49Updated 4 months ago
• alpha-convert / delta
  Implementation of the Delta Language
  ☆8Updated last year
• dikurevy / Public-Archive
  Public archive of material performed on stage through the life time of DIKUrevy
  ☆27Updated last month
• MevenBertrand / NbEReadingGroup
  A repository for material from the reading group on NbE
  ☆17Updated last year
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆10Updated 4 months ago
• diku-dk / img-util-fs
  Image Utilities for F# (2d-drawing, loading/saving of image files, simple Gtk apps)
  ☆9Updated 2 years ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆60Updated last week
• pigworker / TypesWhoSayNi
  being the materials for a paper I have in mind to write about the bidirectional discipline
  ☆50Updated 8 months ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆51Updated last week
• bch29 / agda-holes
  Agda programming with holes
  ☆27Updated 4 years ago
• pigworker / EGTBS
  being the introduction to co-de-Bruijn metasyntax
  ☆23Updated 2 years ago
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆62Updated 3 years ago