Some online judge solutions in Haskell
☆19May 19, 2016Updated 9 years ago
Alternatives and similar repositories for OJHaskell
Users that are interested in OJHaskell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Nov 5, 2011Updated 14 years ago
- This is the repository for content for Stanford's Introduction to Human Computer Interaction, CS147, Fall 2012☆31Nov 18, 2012Updated 13 years ago
- an optimizing curry compiler☆15Nov 27, 2022Updated 3 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- Jhc: Haskell Compiler☆39Aug 31, 2015Updated 10 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Efficient and single-steppable ULC evaluation algorithm☆15Jun 1, 2021Updated 4 years ago
- The https://ghc.dev Website Generator☆21Oct 22, 2024Updated last year
- Partial Redundancy Elimination Pass in LLVM☆15May 20, 2019Updated 6 years ago
- ☆17Jul 23, 2022Updated 3 years ago
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 4 years ago
- Text and Haskell source for my blog series on recursion schemes.☆49Jul 13, 2022Updated 3 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Dec 21, 2015Updated 10 years ago
- Low-level React Native bindings for PureScript☆15Sep 28, 2016Updated 9 years ago
- my pizza recipe☆15Aug 14, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Ask for solutions.☆19Aug 5, 2019Updated 6 years ago
- Kodi's Hy utility functions and macros☆13Jan 11, 2026Updated 3 months ago
- A small implementation of a proof refinement logic.☆50Jul 3, 2017Updated 8 years ago
- routing your gemini-cli to openai 3rd party providers☆25Jul 21, 2025Updated 9 months ago
- Build Your Agent Company with OMC☆142Updated this week
- ❯ The interactive and intuitive replacement for ls & cd!☆20Feb 2, 2026Updated 2 months ago
- ☆11Sep 21, 2025Updated 7 months ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Jul 26, 2022Updated 3 years ago
- Protobuf generator for MoonBit programming language☆14Apr 22, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Bash script to combine split APKs (android app bundles) into a single decompiled APK on macOS☆28Sep 27, 2021Updated 4 years ago
- JFact repository☆18Apr 17, 2022Updated 4 years ago
- Just a prototype, but will be improved soon.☆22Jan 9, 2015Updated 11 years ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆19Nov 15, 2025Updated 5 months ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Feb 10, 2025Updated last year
- An experiment towards a UI programming model inspired by algebraic effects.☆30May 15, 2017Updated 8 years ago
- Collection of algorithms in Computational Geometry.☆18Oct 13, 2017Updated 8 years ago
- client for a snow2 repository☆12Mar 18, 2019Updated 7 years ago
- Wrapper for AMD's RadeonPro ray tracer☆12Jun 12, 2025Updated 10 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- code multiplexer -- fast, safe, collaborative editor plugin ecosystem☆17Apr 15, 2026Updated 2 weeks ago
- Web interface for https://github.com/minchingtonak/lambster☆14Oct 26, 2025Updated 6 months ago
- just another compiler compiler for Java☆26Oct 31, 2016Updated 9 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆161Aug 28, 2019Updated 6 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- A small lightweight text editor☆13Nov 23, 2024Updated last year
- A Lightweight, header-only CLI option parser for C++☆19Jan 20, 2020Updated 6 years ago