prosyslab-classroom/hardcore-ocaml external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

prosyslab-classroom/hardcore-ocaml

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/prosyslab-classroom/hardcore-ocaml)

Close

prosyslab-classroom / hardcore-ocamlView on GitHubMore

• External links
• Readme badge

☆17Apr 15, 2025Updated 11 months ago

Alternatives and similar repositories for hardcore-ocaml

Users that are interested in hardcore-ocaml are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• Jhuni0123 / pl-checker

  View on GitHub
  2017F Programming Language Homework Checker
  ☆31Sep 5, 2018Updated 7 years ago
• Zeta611 / simplebnf.typ

  View on GitHub
  A simple package to format Backus-Naur form
  ☆15Feb 9, 2026Updated last month
• ocurrent / opam-repo-ci

  View on GitHub
  An OCurrent pipeline for testing submissions to opam-repository
  ☆24Jan 14, 2026Updated 2 months ago
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated 2 years ago
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆28Oct 24, 2025Updated 5 months ago
• prosyslab / pl-wiki

  View on GitHub
  ☆48Nov 25, 2025Updated 3 months ago
• jwvg0425 / HaskellStudy

  View on GitHub
  HaskellStudy
  ☆57Jul 9, 2018Updated 7 years ago
• dj-shin / army-client

  View on GitHub
  ☆10Jan 6, 2021Updated 5 years ago
• davidweichiang / tikz-qtree

  View on GitHub
  Easy trees in LaTeX and TikZ
  ☆14Dec 16, 2022Updated 3 years ago
• neunenak / typst-leipzig-glossing

  View on GitHub
  ☆15Sep 2, 2025Updated 6 months ago
• snu-sf-class / pl201602

  View on GitHub
  SNU 2016 Fall 4190.310 Programming Language
  ☆22Dec 13, 2016Updated 9 years ago
• Guardian-SNU / ctf2018-writeups

  View on GitHub
  GuardianCTF 2018 Writeups Repository
  ☆12Apr 13, 2019Updated 6 years ago
• 9beach / hanspell-hs

  View on GitHub
  (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.
  ☆26Apr 22, 2023Updated 2 years ago
• twinstae / coaching-sospeso

  View on GitHub
  ☆25Nov 2, 2025Updated 4 months ago
• openskynetwork / receiver-kit

  View on GitHub
  ☆17May 15, 2025Updated 10 months ago
• lego0901 / Woosung-Vim-LaTeX

  View on GitHub
  Vim에서 LaTeX 사용하기위한 미니멀한 세팅
  ☆10Jun 19, 2020Updated 5 years ago
• ondrap / geoip2

  View on GitHub
  Pure haskell access to the MaxMind GeoIP2 database
  ☆13Apr 9, 2025Updated 11 months ago
• lionhairdino / saekpen.nvim

  View on GitHub
  Colored pencil or highlighter to use in Neovim
  ☆10Feb 8, 2025Updated last year
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• Zeta611 / easyword

  View on GitHub
  🇰🇷 쉬운 전문용어 (Easy Korean Translations of CS Jargons)
  ☆40Mar 16, 2026Updated last week
• plwiki / plwiki.github.io

  View on GitHub
  ☆36Nov 7, 2025Updated 4 months ago
• KiJeong-Lim / portfolio

  View on GitHub
  My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional …
  ☆14Updated this week
• puffnfresh / haskell-jwt

  View on GitHub
  JSON Web Token (JWT) decoding and encoding
  ☆22Sep 9, 2024Updated last year
• xtendo-org / rawfilepath

  View on GitHub
  Haskell library for encoding-free interaction with Unix system. Use RawFilePath (ByteString) instead of FilePath (String)
  ☆18Jan 18, 2026Updated 2 months ago
• ENvironmentSet / lambda2wasm

  View on GitHub
  A Lambda expression compiler targeting web assembly.
  ☆20Aug 7, 2024Updated last year
• evanp / activitypub-book

  View on GitHub
  Extended examples from "ActivityPub: Programming for the Social Web" on O'Reilly Media
  ☆15Sep 1, 2024Updated last year
• nyusemantics / LambdaCalculatorPublic

  View on GitHub
  ☆18Aug 30, 2022Updated 3 years ago
• boydfd / tqdm_multi_thread

  View on GitHub
  A tqdm multi-thread helper
  ☆11Aug 12, 2019Updated 6 years ago
• lukehoersten / activitypub

  View on GitHub
  Haskell ActivityPub server library
  ☆18Jun 11, 2022Updated 3 years ago
• kwanghoon / Lecture_EOPL_Exercise

  View on GitHub
  Exercises for EOPL in Haskell
  ☆13Mar 9, 2026Updated 2 weeks ago
• phadej / cabal-sat

  View on GitHub
  Using cabal-install as SAT solver
  ☆13Aug 29, 2023Updated 2 years ago
• reubenharry / haskell-docs

  View on GitHub
  ☆58Jan 10, 2024Updated 2 years ago
• eth-sri / type-constrained-code-generation

  View on GitHub
  Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
  ☆82Mar 11, 2026Updated last week
• dahlia / dojang

  View on GitHub
  A cross-platform dotfiles manager
  ☆14Jan 19, 2026Updated 2 months ago
• Leeingnyo / pl-checker

  View on GitHub
  2019F Programming Language Homework Checker
  ☆10Nov 28, 2019Updated 6 years ago
• ghudegy / 2018

  View on GitHub
  구데기컵 @ Baekjoon Online Judge
  ☆35Mar 13, 2023Updated 3 years ago
• dogriffiths / rssgossip

  View on GitHub
  Example Python script to read an RSS feed and look for a phrase
  ☆15Aug 21, 2021Updated 4 years ago
• snu-sf-class / pp202202

  View on GitHub
  ☆17Dec 8, 2022Updated 3 years ago
• Kraks / sai

  View on GitHub
  Staged Abstract Interpreters
  ☆69Mar 13, 2023Updated 3 years ago