Alternatives and similar repositories for JSCSExamMaterial

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

• k0001 / safe-money
  Test project
  ☆7Updated 2 years ago
• yoricksijsling / ornaments-thesis
  My master thesis about generic programming and ornaments
  ☆16Updated 8 years ago
• DUCSS / ducss-site
  New DUCSS website
  ☆7Updated 2 years ago
• david-christiansen / itu-thesis
  A highly unofficial, still experimental LaTeX document class for ITU M.Sc. and Ph.D. theses and dissertations
  ☆20Updated 7 years ago
• tchajed / coq-ltac2-experiments
  All the code I've ever written in Ltac2
  ☆11Updated 4 years ago
• oracle / bft-consensus-agda
  ☆12Updated last year
• SimonBoulier / TypingFlags
  A Coq plugin to disable positivity check, guard check and termination check
  ☆16Updated 5 years ago
• intolerable / reddit
  reddit api for haskell
  ☆77Updated 2 years ago
• cronokirby / haze
  A bittorrent client, for learning purposes
  ☆109Updated 5 years ago
• zudov / 24-days-of-syntactic-witchery
  Aligning characters for fun and profit, with Haskell and PureScript
  ☆74Updated 7 years ago
• niccoloveltri / guarded-ccs-pi
  ☆9Updated last year
• cyberialab / servant-persistent-template
  Simple servant-persistent template with up to date libraries, multipart form data API, basic User management model, property testing, sim…
  ☆32Updated 2 years ago
• rocq-community / parseque
  Total Parser Combinators in Coq [maintainer=@womeier]
  ☆44Updated last week
• zyla / haskell-nullpointer
  NullPointerExceptions in Haskell
  ☆58Updated 7 years ago
• ul-fmf / projekt-tomo
  Spletna storitev za poučevanje programiranja
  ☆14Updated 11 months ago
• gallais / potpourri
  Where my everyday research happens
  ☆53Updated this week
• tfausak / exercism-solutions
  Solutions to exercism assignments.
  ☆11Updated 11 years ago
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆98Updated 8 months ago
• abhin4v / link
  A simple multithreaded chat server in haskell
  ☆35Updated 5 years ago
• brunofx86 / LL
  Formalization of Linear Logic
  ☆10Updated 7 years ago
• snoyberg / file-server-demo
  Single-file example of a Haskell file server
  ☆44Updated 8 years ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆58Updated last year
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• lthms / FreeSpec
  A framework for implementing and certifying impure computations in Coq
  ☆52Updated last year
• anoma / juvix-stdlib
  The Juvix standard library
  ☆14Updated this week
• haskell-servant / servant-auth
  ☆159Updated 3 years ago
• fsieczkowski / System-T
  Formalisation of Goedel's System T in Coq
  ☆15Updated 13 years ago
• ul-fmf / nadlogar
  Spletna storitev za generiranje nalog
  ☆18Updated 2 years ago
• yolc-dev / yul-dsl-monorepo
  The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …
  ☆39Updated last week
• nd / bird
  Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird
  ☆16Updated 12 years ago