Practice your git bisect skills
☆38Mar 27, 2024Updated 2 years ago
Alternatives and similar repositories for bisectercise
Users that are interested in bisectercise are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Sep 6, 2022Updated 3 years ago
- Clang Static Analyzer with use-after-free and double-free checkers☆15Jul 24, 2015Updated 10 years ago
- CSCS Scripting Language Implemented in C++☆11Mar 5, 2017Updated 9 years ago
- Spellchecker service based on hunspell for 90 languages☆10Oct 26, 2020Updated 5 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆12Sep 4, 2025Updated 6 months ago
- Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)☆21Apr 2, 2013Updated 12 years ago
- typing haskell in haskell☆18Sep 22, 2022Updated 3 years ago
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆12Feb 22, 2026Updated last month
- Awesome Agda Programming☆19Sep 22, 2025Updated 6 months ago
- Lox language interpreter written in Rust☆20Oct 24, 2024Updated last year
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 3 years ago
- ☆12Sep 19, 2021Updated 4 years ago
- An interpreter for the While language written in Haskell☆14Mar 26, 2020Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Ruby SDK for developing over the monday.com platform☆11Dec 1, 2023Updated 2 years ago
- Quickly hashing all subexpressions of a program modulo alpha-renaming☆16Sep 7, 2021Updated 4 years ago
- A monadic approach to static analysis following the methodology of AAM☆18Oct 31, 2015Updated 10 years ago
- Example project of using cabal 2.0`s foreign-library feature to build a haskell library that lets you call haskell code from C/C++.☆17Feb 22, 2020Updated 6 years ago
- A gem to automate using Scalar with Ruby apps☆23Updated this week
- Ruby SDK for the HomeAway API☆10Sep 24, 2018Updated 7 years ago
- A GPT agent with a Text Interface tool☆15Feb 10, 2026Updated last month
- Tabula Rasa Tic-Tac-Toe☆10Jan 3, 2019Updated 7 years ago
- Agda formalisation of NbE for λ□☆18Dec 5, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Pytorch Text GAN for lyrics generation☆10Apr 13, 2019Updated 6 years ago
- vscode support for chez shame☆10Dec 3, 2019Updated 6 years ago
- A React port of Sketch's grid overlay☆14Dec 8, 2022Updated 3 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Oct 11, 2018Updated 7 years ago
- The 10 millionth JavaScript Scheme interpreter.☆15Feb 14, 2020Updated 6 years ago
- Sing harmonies with yourself, in HTML5!☆34Dec 30, 2013Updated 12 years ago
- Notes on higher-order typed compilation. Probably wrong☆24Oct 20, 2022Updated 3 years ago
- A place for people to send pull requests for interesting examples they'd like to share☆11Apr 24, 2017Updated 8 years ago
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Jul 4, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- React Hook for DOM event listeners with TypeScript supported☆14Updated this week
- A lightwieght tool purely written in golang to fetch information on your system's state remotely☆14Jan 9, 2021Updated 5 years ago
- Android attribution library build on top of Ahoy for Ruby on Rails.☆22Aug 12, 2024Updated last year
- Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/). Write-up at…☆26Jun 30, 2023Updated 2 years ago
- Read without moving your eyes.☆28Jan 6, 2015Updated 11 years ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆26Oct 13, 2025Updated 5 months ago
- Using Fastai library to classify Twitter jokes in Spanish☆12Jul 4, 2019Updated 6 years ago