Alternatives and similar repositories for 120-hour-epic-sax-marathon

Users that are interested in 120-hour-epic-sax-marathon are comparing it to the libraries listed below

• crazyboycjr / cyclone-jet-rocket

  View on GitHub
  Cyclone Jet Rocket is a DDoS tool for System Security Technology course
  ☆10Jun 5, 2017Updated 8 years ago
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• kaayy / everTex

  View on GitHub
  A Chrome/Firefox extension that shows LaTeX formulas in EverNote's web interface using MathJax.
  ☆26Aug 5, 2012Updated 13 years ago
• micahhahn / FunctionalGeometry

  View on GitHub
  A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
  ☆26Feb 25, 2017Updated 8 years ago
• rougier / emacs-octicons

  View on GitHub
  Octicons glyph name for emacs
  ☆24Dec 24, 2015Updated 10 years ago
• nikivazou / theorem-proving-template

  View on GitHub
  Template repo for theorem proving in Liquid Haskell
  ☆32Sep 19, 2018Updated 7 years ago
• google / cabal2bazel

  View on GitHub
  Haskell Bazel rules and cabal2bazel import tool.
  ☆42Apr 16, 2021Updated 4 years ago
• Airini / FEECa

  View on GitHub
  FEECa: Finite Element Exterior Calculus in Haskell
  ☆34Jan 17, 2020Updated 6 years ago
• beaujeant / appsec101

  View on GitHub
  ☆10Jun 16, 2021Updated 4 years ago
• mbg / hindley-milner

  View on GitHub
  Template for Hindley-Milner based languages
  ☆39Dec 7, 2021Updated 4 years ago
• liatrio-chef / hygieia-dev-baked

  View on GitHub
  A baked vagrant box that spins up a pipeline consisting of archiva, github, sonarqube, jenkins, tomcat, selenium, and hygieia.
  ☆12Jun 1, 2016Updated 9 years ago
• drdo / logic-translation

  View on GitHub
  Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
  ☆10May 22, 2024Updated last year
• AFialkowski / SimMultiCorrData

  View on GitHub
  Simulation of Correlated Data with Multiple Variable Types
  ☆12Jun 28, 2018Updated 7 years ago
• Yoshiharu-Ikutani / DecodingCodeFromTheBrain

  View on GitHub
  MATLAB code used for preprocessing and decoding analyses in our paper: "Expert programmers have fine-tuned cortical representations of so…
  ☆11Dec 2, 2020Updated 5 years ago
• mitocode21 / PrimefacesAvanzado

  View on GitHub
  Desarrollo del curso en https://www.youtube.com/playlist?list=PLvimn1Ins-41Dn6vhYzB0Kv90_2eFIdXG
  ☆13Oct 5, 2020Updated 5 years ago
• shuding / 100-days-ui

  View on GitHub
  Turn @npaulflavius's 100 Days UI design into React components!
  ☆40Apr 4, 2020Updated 5 years ago
• sweirich / replib

  View on GitHub
  Replib: generic programming & Unbound: generic treatment of binders
  ☆46Oct 18, 2022Updated 3 years ago
• mxswd / editable

  View on GitHub
  Derive editors for data types.
  ☆28Oct 5, 2014Updated 11 years ago
• migariane / ColliderApp

  View on GitHub
  Visualization Collider Effect: ShinyApp
  ☆12Dec 18, 2025Updated 2 months ago
• Shinmera / forge

  View on GitHub
  A general, modular build system.
  ☆18Aug 13, 2025Updated 6 months ago
• Gabriella439 / sig

  View on GitHub
  Blazing fast signature detection
  ☆11Sep 5, 2022Updated 3 years ago
• whitehackrpg / whiteshell

  View on GitHub
  A repository for a shell with Whitehack RPG tools.
  ☆12Jun 21, 2023Updated 2 years ago
• ekmett / rust-lens

  View on GitHub
  this is not a working lens library
  ☆11Nov 30, 2022Updated 3 years ago
• nikivazou / proof-combinators

  View on GitHub
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Mar 28, 2018Updated 7 years ago
• jules-hedges / open-games

  View on GitHub
  Haskell implementation of open games
  ☆13Apr 20, 2016Updated 9 years ago
• parsonsmatt / lambda

  View on GitHub
  An exploration and implementation of the lambda calculus.
  ☆12Oct 18, 2016Updated 9 years ago
• yveszhang / ldtyping

  View on GitHub
  ☆12May 22, 2016Updated 9 years ago
• Shinmera / depot

  View on GitHub
  Protocol for transparent collections of files.
  ☆12Aug 13, 2025Updated 6 months ago
• synergistics / chemlambda-hask

  View on GitHub
  A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.
  ☆12Dec 27, 2016Updated 9 years ago
• ChrisPenner / update-monad

  View on GitHub
  An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf
  ☆13Oct 11, 2018Updated 7 years ago
• oilandrust / rayhs

  View on GitHub
  A raytracer written in Haskell
  ☆10Aug 26, 2015Updated 10 years ago
• bbatsalenka / automation-starter-kit

  View on GitHub
  Selenium Grid automation framework written in Java that utilizes Maven, TestNG, Selenium Webdriver and is ready to be setup on Jenkins
  ☆10Aug 26, 2014Updated 11 years ago
• gbaz / works-in-progress

  View on GitHub
  scraps and bits and bobs
  ☆13Jul 28, 2022Updated 3 years ago
• jixiuf / dired-filetype-face

  View on GitHub
  set different face for different file types in dired buffer for emacs
  ☆15Apr 12, 2025Updated 10 months ago
• eunomie / local-agent

  View on GitHub
  Demo of local agent using Dagger and Docker Model Runner
  ☆16Jun 30, 2025Updated 7 months ago
• NicolasT / paxos

  View on GitHub
  A Haskell library implementing several Paxos-related algorithms
  ☆25Dec 13, 2012Updated 13 years ago
• joom / direct-reflection-for-free

  View on GitHub
  using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
  ☆15Feb 21, 2020Updated 5 years ago
• mschlund / FPsolve

  View on GitHub
  FPsolve: solver for polynomial equations over omega-continuous semirings
  ☆11Aug 15, 2015Updated 10 years ago
• ToTal / total

  View on GitHub
  ☆11Jul 20, 2016Updated 9 years ago