-
CMU
- Pittsburgh, PA
- https://samestep.com
- @sgestep
Block or Report
Block or report samestep
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
rust-enzyme Public
Forked from EnzymeAD/rustA rust fork to work towards Enzyme integration
Rust Other UpdatedAug 15, 2024 -
fs-swap Public
Forked from paritytech/fs-swapNaive implementation of path swap
Rust UpdatedAug 10, 2024 -
rust-goldenfile Public
Forked from calder/rust-goldenfileSimple goldenfile testing in Rust.
Rust MIT License UpdatedAug 7, 2024 -
bidirectional.js Public
Forked from atennapel/bidirectional.jsJavascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
JavaScript UpdatedAug 1, 2024 -
-
chumsky Public
Forked from zesterer/chumskyWrite expressive, high-performance parsers with ease.
Rust MIT License UpdatedJun 18, 2024 -
adroit Public
AD on first-order SSA functions with arrays and algebraic types.
Rust MIT License UpdatedJun 18, 2024 -
catala Public
Forked from CatalaLang/catalaProgramming language for literate programming law specification
OCaml Apache License 2.0 UpdatedMay 21, 2024 -
dagger Public
Incremental computation with implicit context.
-
wax Public
Forked from LingDong-/waxA tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀
C MIT License UpdatedApr 30, 2024 -
-
-
-
catala-website Public
Forked from CatalaLang/catala-websiteSource code for the website of the Catala language
ReScript Apache License 2.0 UpdatedApr 5, 2024 -
catala-examples Public
Forked from CatalaLang/catala-examplesCollection of Catala programs
Makefile Apache License 2.0 UpdatedApr 5, 2024 -
-
pyodide Public
Forked from pyodide/pyodidePyodide is a Python distribution for the browser and Node.js based on WebAssembly
Python Mozilla Public License 2.0 UpdatedMar 16, 2024 -
wasmad Public
Automatic differentiation for WebAssembly.
-
binaryen Public
Forked from WebAssembly/binaryenOptimizer and compiler/toolchain library for WebAssembly
WebAssembly Apache License 2.0 UpdatedFeb 21, 2024 -
austral Public
Forked from austral/australSystems language with linear types and capability-based security.
OCaml Apache License 2.0 UpdatedFeb 18, 2024 -
austral.github.io Public
Forked from austral/austral.github.ioThe website for the Austral programming language.
HTML UpdatedFeb 18, 2024 -
-
-
-
binaryuan Public
Lightweight JavaScript rewrite of the core of Binaryen.
MIT License UpdatedDec 25, 2023 -
-
eslint-plugin-unary-minus Public archive
A typescript-eslint plugin restricting unary negation to numbers.
TypeScript MIT License UpdatedDec 11, 2023 -
-
-
wasm-bindgen Public
Forked from rustwasm/wasm-bindgenFacilitating high-level interactions between Wasm modules and JavaScript
Rust Apache License 2.0 UpdatedJun 6, 2023