shhyou
Follow
Highlights
- Pro
-
mintexpp Public
A minimal scribble-style tex preprocessor inspired by Pollen.
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedJan 21, 2025 -
-
abstract-binding-trees Public
Forked from jsiek/abstract-binding-treesAbstract binding trees (abstract syntax trees plus binders), as a library in Agda
Agda UpdatedJan 18, 2025 -
drracket Public
Forked from racket/drracketDrRacket, IDE for Racket
Racket Other UpdatedJan 6, 2025 -
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedNov 29, 2024 -
racket-langserver Public
Forked from jeapostrophe/racket-langserverRacket Other UpdatedNov 29, 2024 -
-
gradual-typing-in-agda Public
Forked from jsiek/gradual-typing-in-agdaFormalizations of Gradually Typed Languages in Agda
-
-
rosette Public
Forked from emina/rosetteThe Rosette solver-aided host language, sample solver-aided DSLs, and demos
Racket Other UpdatedJul 3, 2024 -
-
-
raco-test-with-errortrace Public
Invoke `raco test` with `errortrace` on
-
magic-racket Public
Forked from Eugleo/magic-racketThe best coding experience for Racket in VS Code
TypeScript GNU General Public License v3.0 UpdatedJul 18, 2023 -
pollen Public
Forked from mbutterick/pollenbook-publishing system in Racket
Racket MIT License UpdatedJul 9, 2023 -
cadnr Public
Forked from eutro/cadnrcar, cdr, caaaaddddr, and everything in between.
Racket Other UpdatedApr 19, 2023 -
auriga Public
Forked from anishathalye/aurigaFor of anishathalye/auriga, a minimalist LaTeX beamer presentation theme
TeX MIT License UpdatedMar 5, 2023 -
-
chop-esop-supplementary Public
Supplementary Materials for Sound and Complete Higher-Order Concolic Testing
-
agda-mode-vscode Public
Forked from banacorn/agda-mode-vscodeagda-mode on VS Code
ReScript MIT License UpdatedJul 12, 2022 -
-
-
racket-commonmark Public
Forked from lexi-lambda/racket-commonmarkFast, CommonMark-compliant Markdown parser written in Racket
Racket ISC License UpdatedMay 21, 2022 -
-
-
-
-