Alternatives and similar repositories for how-behind

Users that are interested in how-behind are comparing it to the libraries listed below

• katrinafyi / uqtp
  Timetable planner for UQ courses, written in Typescript with React.
  ☆14Updated 2 years ago
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated last year
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated last year
• UQComputingSociety / uqcsbot-discord
  UQCSbot: Our friendly little Discord bot
  ☆20Updated last month
• ldgrp / uptop
  A terminal client for Up Bank written in Haskell ⚡.
  ☆48Updated 3 weeks ago
• WillCS / uqplanner
  A successor to the much revered and sorely missed UQ Timetable Planner
  ☆26Updated 4 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆368Updated this week
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆191Updated 2 weeks ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆302Updated 6 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆113Updated 2 years ago
• janestreet / bonsai
  A library for building dynamic webapps, using Js_of_ocaml
  ☆560Updated last week
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆382Updated this week
• sophie006liu / vegetal
  vegetal
  ☆243Updated 9 months ago
• Voltara / advent2020-fast
  ☆39Updated 11 months ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆101Updated last year
• iden3 / ffiasm-old
  Intel assembly finite field library generator
  ☆12Updated last year
• cronokirby / yao-gc
  A basic implementation of Yao's Garbled Circuits
  ☆28Updated 3 years ago
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated 3 weeks ago
• Verified-zkEVM / clean
  Lean circuit DSL
  ☆69Updated this week
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆237Updated this week
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆165Updated 3 months ago
• JacquesCarette / Drasil
  Generate all the things (focusing on research software)
  ☆150Updated this week
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆328Updated last week
• linoscope / CAMLBOY
  A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮
  ☆550Updated 2 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆113Updated last week
• TartanLlama / vizh
  An esoteric visual language that takes image files as input based on a multi-tape turing machine, designed for compatibility with C.
  ☆234Updated last year
• hazelgrove / tylr
  a tiny tile-based editor
  ☆304Updated 2 weeks ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆53Updated 9 months ago
• lvella / polynomial-solver
  Solves systems of polynomial equations.
  ☆29Updated last year
• davidcorbin / euler-offline
  Project Euler problems in text file for offline use
  ☆74Updated 4 years ago