alpha-convert
Follow
-
-
unboxed-splitmix Public
A port of splittable_random using unboxed int64s.
OCaml UpdatedDec 18, 2024 -
-
fusers Public
A stream processing library to defeat all other stream processing libraries
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 24, 2024 -
base_quickcheck Public
Forked from janestreet/base_quickcheckRandomized testing framework, designed for compatibility with Base
OCaml MIT License UpdatedNov 21, 2024 -
-
-
-
-
-
penn-repl.github.io Public
Forked from penn-repl/penn-repl.github.ioSCSS MIT License UpdatedJan 10, 2023 -
-
-
-
FrontC Public
Forked from BinaryAnalysisPlatform/FrontCAn OCaml library providing a C parser and lexer
OCaml GNU Lesser General Public License v2.1 UpdatedJun 22, 2021 -
-
-
IO-method Public
A writeup about the I/O method for implementing substructural languages
TeX UpdatedJan 8, 2021 -
bril Public
Forked from sampsyo/brilan educational compiler intermediate representation
JavaScript MIT License UpdatedDec 21, 2020 -
icfp2020-papers Public
Forked from llelf/icfp2020-papersICFP 2020 papers. Crowd-sourced
UpdatedMay 11, 2020 -
-
tex-truth-table-maker Public
Automatically generate a LaTeX truth table from a boolean expression
Haskell UpdatedFeb 17, 2019 -
zotero-ocr Public
Forked from UB-Mannheim/zotero-ocrZotero Plugin for OCR
Shell GNU Affero General Public License v3.0 UpdatedOct 25, 2018 -
mastermind Public
A weekend project making a mastermind game in Haskell
Haskell MIT License UpdatedOct 16, 2018 -
-
-
-
-
-
raytracer Public
A raytracer I've been working on... I come back and add to this every once in a while.
C++ UpdatedAug 31, 2017