- Taipei, Taiwan
- https://shhyou.github.io/
Highlights
- Pro
Block or Report
Block or report shhyou
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedJul 30, 2024 -
setup-racket Public
Forked from Bogdanp/setup-racketA GH action for installing Racket.
JavaScript MIT License UpdatedJul 29, 2024 -
bain-cs111-web-fork Public
Public facing site that students will access for downloading course materials (DOES NOT INCLUDE SOLUTIONS). Live == Public
Racket UpdatedJul 10, 2024 -
rosette Public
Forked from emina/rosetteThe Rosette solver-aided host language, sample solver-aided DSLs, and demos
Racket Other UpdatedJul 3, 2024 -
-
just-to-look-at-the-default-gitignore
UpdatedMay 4, 2024 -
-
mintexpp Public
A minimal scribble-style tex preprocessor inspired by Pollen.
-
racket-langserver Public
Forked from jeapostrophe/racket-langserverRacket Other UpdatedOct 19, 2023 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedOct 18, 2023 -
-
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 -
drracket Public
Forked from racket/drracketDrRacket, IDE for Racket
Racket Other UpdatedFeb 26, 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 -
-
-
abstract-binding-trees Public
Forked from jsiek/abstract-binding-treesAbstract binding trees (abstract syntax trees plus binders), as a library in Agda
Agda UpdatedOct 19, 2021 -