Projects in Awesome Lists by joom
A curated list of projects in awesome lists by joom .
https://github.com/joom/zor-yoldan-haskell
Turkish translation of Learn Haskell Fast and Hard by Yann Esposito.
Last synced: 11 Jun 2025
https://github.com/joom/hezarfen
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
automated-theorem-provers idris mathematical-logic metaprogramming theorem-prover
Last synced: 09 Jul 2025
https://github.com/joom/latex-unicoder.vim
A plugin to type Unicode chars in Vim, using their LaTeX names.
Last synced: 28 Feb 2025
https://github.com/joom/divan.hs
Ottoman Divan poetry vezin checker in Haskell!
haskell natural-language-processing ottoman poetry turkish
Last synced: 01 May 2025
https://github.com/joom/type.systems
joke page until I decide what to do with this domain name
Last synced: 03 Mar 2026
https://github.com/joom/wangsalgorithm
A classical propositional theorem prover in Haskell, using Wang's Algorithm.
haskell sequent-calculus theorem-prover wang-algorithm
Last synced: 01 May 2025
https://github.com/joom/dilacar
A rule-based machine translation system from Ottoman Turkish to Modern Turkish.
computational-linguistics historical-linguistics machine-translation ottoman rule-based turkish turkish-language
Last synced: 03 Mar 2026
https://github.com/joom/turkish-deasciifier.vim
Vim plugin to use emres/turkish-deasciifier
Last synced: 27 Jul 2025
https://github.com/joom/virtual-piano
Terminal based virtual piano in Haskell, with ncurses and Euterpea
Last synced: 01 May 2025
https://github.com/joom/direct-reflection-for-free
using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
generic-programming meta-circular metaprogramming reflection type-theory
Last synced: 19 Mar 2026
https://github.com/joom/dilim
A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
modal-editing rust structure-editor vim
Last synced: 01 May 2025
https://github.com/joom/distributed-hash-table
A Haskell implementation of distributed hash tables with two-phase commit.
deadlock distributed-systems haskell heartbeat lock replicas
Last synced: 04 Mar 2026
https://github.com/joom/regexp-agda
continuation-passing-style dependent-types regular-expressions verification
Last synced: 05 Mar 2026
https://github.com/joom/modal
Compilation of modal logic based functional language ML5 to JavaScript.
agda compiler javascript logic modal-logic
Last synced: 01 Aug 2025
https://github.com/joom/edit-time-tactics
Documents (TeX, slides, poster etc.) for my master's thesis, titled "Edit-Time Tactics in Idris", and the TyDe '18 paper, titled "Extensible Type-Directed Editing"
Last synced: 11 Mar 2026
https://github.com/joom/metaprogrammable-editor
Documents (TeX, slides etc.) and code for the editor side metaprogramming in Coq.
Last synced: 28 Feb 2025
https://github.com/joom/turkish-deasciifier.hs
Haskell port of Deniz Yuret's Turkish deasciifier.
Last synced: 01 May 2025
https://github.com/joom/twitter-timeline-scraper
Scraper for Twitter embedded timelines.
Last synced: 25 Aug 2025
https://github.com/joom/herbrand-prolog
A pseudo-Prolog that tries to answer queries by building the least Herbrand model.
Last synced: 18 Sep 2025
https://github.com/joom/idris-microkanren
Simple microKanren implementation in Idris.
Last synced: 05 Mar 2026
https://github.com/joom/reversirocq
A Reversi implementation in Rocq, extracted to C++ via Crane.
Last synced: 28 Jun 2026
https://github.com/joom/connection-booster
Class project for COS561 with Prof. Jennifer Rexford: a Chrome app that calculates the optimal number of TCP parallel connections for maximum performance and loads in parallel.
Last synced: 03 Aug 2025
https://github.com/joom/vim-in-coq
A rudimentary Vim clone in Coq, with CertiCoq and ncurses.
Last synced: 24 Jan 2026
https://github.com/joom/matrix-challenge
Simple matrix determinant calculator in different programming languages
Last synced: 16 May 2026
https://github.com/joom/node-youtube2mp3
Node.js replica of YouTube to MP3 web apps.
Last synced: 15 May 2026
https://github.com/joom/edit-distance
Verifying edit distance properties in Rocq.
c-verification edit-distance levenshtein-distance rocq-prover vst
Last synced: 28 Jun 2026
https://github.com/joom/regexp-coq
A Coq port of my paper Intrinsic Verification of a Regular Expression Matcher
Last synced: 27 Jun 2025
https://github.com/joom/wesmaps-json
Node.js app to scrape Wesleyan course catalog to output JSON.
Last synced: 12 Jun 2026
https://github.com/joom/fly-me
JavaScript and vector graphics based space game.
Last synced: 11 Feb 2026
https://github.com/joom/inanc-world-map
A map that shows where Inanc alumni are.
Last synced: 29 Oct 2025
https://github.com/joom/language-counter
Pie chart of languages of the repos that a GitHub user owns/starred/is watching.
Last synced: 15 May 2026
https://github.com/joom/certicoq-sha
A separate repo with one example to test the performance of CertiCoq
Last synced: 29 Jun 2026
https://github.com/joom/cpp-coq-ffi
A primitive set data structure for Coq, using `std::set` from C++.
Last synced: 08 Jun 2026
https://github.com/joom/op-download
Download and generate CSV files from Open Procurement tenders API.
Last synced: 09 Jun 2026