☆16Apr 15, 2025Updated 10 months ago
Alternatives and similar repositories for hardcore-ocaml
Users that are interested in hardcore-ocaml are comparing it to the libraries listed below
Sorting:
- ☆48Nov 25, 2025Updated 3 months ago
- ☆14Feb 26, 2024Updated 2 years ago
- 📚 (WIP) Rewriting Software Foundations in Lean 4☆28Oct 24, 2025Updated 4 months ago
- HaskellStudy☆57Jul 9, 2018Updated 7 years ago
- An OCurrent pipeline for testing submissions to opam-repository☆24Jan 14, 2026Updated last month
- 2017F Programming Language Homework Checker☆31Sep 5, 2018Updated 7 years ago
- SNU 2016 Fall 4190.310 Programming Language☆22Dec 13, 2016Updated 9 years ago
- ☆25Nov 2, 2025Updated 4 months ago
- A software framework for global sparse analyzers and their verified validators☆22Oct 25, 2017Updated 8 years ago
- (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.☆26Apr 22, 2023Updated 2 years ago
- 🇰🇷 쉬운 전문용어 (Easy Korean Translations of CS Jargons)☆40Feb 23, 2026Updated last week
- An example web server built with OCaml and the Dream framework.☆32Aug 30, 2023Updated 2 years ago
- ☆36Nov 7, 2025Updated 3 months ago
- ☆33Apr 17, 2017Updated 8 years ago
- 4190.310 Programming Languages (Fall 2015)☆37Sep 28, 2017Updated 8 years ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 3 years ago
- Exercises for EOPL in Haskell☆10Apr 1, 2025Updated 11 months ago
- Ansible playbook and Docker compose file for running Ollama on a Raspberry Pi with Multicast☆10May 21, 2024Updated last year
- 구데기컵 @ Baekjoon Online Judge☆35Mar 13, 2023Updated 2 years ago
- Parser Combinators of Monad☆39Nov 25, 2020Updated 5 years ago
- With one whole audio and corresponding text, the audio can be split line by line and saved with exact sentence using comparison with the …☆10Feb 28, 2019Updated 7 years ago
- Railway oriented programming talk and code for TechTrain2021☆11Mar 26, 2021Updated 4 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆46Oct 19, 2023Updated 2 years ago
- ☆11Dec 21, 2016Updated 9 years ago
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 10 years ago
- Colored pencil or highlighter to use in Neovim☆10Feb 8, 2025Updated last year
- Bibata Cursor, with support for hyprcursor and Xcursor☆19Jan 28, 2025Updated last year
- This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…☆11Jul 28, 2025Updated 7 months ago
- 2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Edition☆10Jan 4, 2023Updated 3 years ago
- Auto-formatter for OCaml code☆11Oct 24, 2025Updated 4 months ago
- Provides support for after/colors/ scripts (Mirrors Peter Hodge's AfterColors.vim on vim.org)☆11May 7, 2017Updated 8 years ago
- A cross-platform dotfiles manager☆14Jan 19, 2026Updated last month
- A Neovim client for VsCoq 2 vscoqtop.☆12Nov 8, 2025Updated 3 months ago
- Collection of interesting patterns, inspired by nature, powered by p5js☆10Jun 2, 2018Updated 7 years ago
- ☆45Nov 20, 2024Updated last year
- ohyecloudy dotfiles☆14Feb 20, 2026Updated last week
- GADT-based field accessors and utilities☆17Jan 15, 2026Updated last month
- Swift lambda calculus functions supporting intensional equality☆12Jun 19, 2016Updated 9 years ago