Projects in Awesome Lists by JacquesCarette
A curated list of projects in awesome lists by JacquesCarette .
https://github.com/jacquescarette/drasil
Generate all the things (focusing on research software)
code-generation documentation-generator drasil-framework dsl haskell haskell-language knowledge scientific
Last synced: 04 Apr 2025
https://github.com/JacquesCarette/Drasil
Generate all the things (focusing on research software)
code-generation documentation-generator drasil-framework dsl haskell haskell-language knowledge scientific
Last synced: 03 Apr 2025
https://github.com/jacquescarette/finally-tagless
Repo of the original work on finally tagless (and a lot of other metaocaml work besides)
Last synced: 20 Mar 2025
https://github.com/jacquescarette/theoriesanddatastructures
Showing how some simple mathematical theories naturally give rise to some common data-structures
Last synced: 23 Jan 2026
https://github.com/jacquescarette/pi-dual
Collaborative work on reversible computing
Last synced: 24 Jan 2026
https://github.com/jacquescarette/compsci3mi3-f2023
Public course materials for COMPSCI 3MI3, Fall 2023 version
Last synced: 22 Mar 2025
https://github.com/jacquescarette/cas706-f2021
Repository for Fall 2021 version of CAS 706
Last synced: 21 Jan 2026
https://github.com/jacquescarette/quantumpi
Code repository for our work on Quantum Pi
Last synced: 10 Jun 2025
https://github.com/jacquescarette/mathscheme
Public repository for the MathScheme project
Last synced: 23 Jan 2026
https://github.com/jacquescarette/sqrtpi
Agda code accompanying the SqrtPi paper
Last synced: 19 Feb 2026
https://github.com/jacquescarette/purebaggery
Where we explore more interesting data types than just fixed points of polynomials
Last synced: 27 Feb 2026
https://github.com/jacquescarette/retrodictive
For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS
partial-evaluators quantum-computing symbolic-execution
Last synced: 26 Feb 2026
https://github.com/jacquescarette/retropecode
Haskell code corresponding to the paper(s) in Retrodictive
Last synced: 28 Jun 2025
https://github.com/jacquescarette/categorical-playground
For experiments in category theory
Last synced: 18 Feb 2026
https://github.com/jacquescarette/retrodictivecomputing
Repository for all the code that goes along with the Retrodictive Quantum Computing
Last synced: 14 Feb 2026
https://github.com/jacquescarette/benchmarkingproofassistants
System benchmarking for proof assistants
Last synced: 06 Jul 2025
https://github.com/jacquescarette/cas706-f2024
Public repository for CAS 706, Fall 2024 version
Last synced: 09 Feb 2026
https://github.com/jacquescarette/graphsandtheories
Where we explore the intersection between (hyper)graphs and axiomatic theories systematically
Last synced: 24 Apr 2025
https://github.com/jacquescarette/wirebundles
An exploration, in Agda, of bundles of wires and multiplicity
Last synced: 18 Mar 2026
https://github.com/jacquescarette/experiments
In which I do a variety of experiments
Last synced: 18 Mar 2026
https://github.com/jacquescarette/jacquescarette.github.io
Github pages version of my web site
Last synced: 24 Jan 2026