Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by pratapsingh1729

A curated list of projects in awesome lists by pratapsingh1729 .

https://github.com/pratapsingh1729/pratapsingh1729.github.io

Personal website

Last synced: 18 Jan 2025

https://github.com/pratapsingh1729/haskell-wordle

A simple Wordle implementation, built to learn Haskell

Last synced: 18 Jan 2025

https://github.com/pratapsingh1729/adapting-verified-compilation

Repository containing the Coq development accompanying my senior thesis, Adapting Verified Compilation for Target-Language Errors.

Last synced: 18 Jan 2025

https://github.com/pratapsingh1729/abstract-machines-in-coq-oplss22

Coq version of Paul Downen's OPLSS22 tutorial on abstract machines

Last synced: 18 Jan 2025

https://github.com/pratapsingh1729/ocaml-getrusage

An OCaml binding to the Unix system call getrusage.

Last synced: 18 Jan 2025