Skip to content
View samestep's full-sized avatar
Block or Report

Block or report samestep

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • rust-enzyme Public

    Forked from EnzymeAD/rust

    A rust fork to work towards Enzyme integration

    Rust Other Updated Aug 15, 2024
  • fs-swap Public

    Forked from paritytech/fs-swap

    Naive implementation of path swap

    Rust Updated Aug 10, 2024
  • Simple goldenfile testing in Rust.

    Rust MIT License Updated Aug 7, 2024
  • Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"

    JavaScript Updated Aug 1, 2024
  • radish Public

    TypeScript MIT License Updated Jul 31, 2024
  • chumsky Public

    Forked from zesterer/chumsky

    Write expressive, high-performance parsers with ease.

    Rust MIT License Updated Jun 18, 2024
  • adroit Public

    AD on first-order SSA functions with arrays and algebraic types.

    Rust MIT License Updated Jun 18, 2024
  • catala Public

    Forked from CatalaLang/catala

    Programming language for literate programming law specification

    OCaml Apache License 2.0 Updated May 21, 2024
  • dagger Public

    Incremental computation with implicit context.

    Clojure 1 MIT License Updated May 1, 2024
  • wax Public

    Forked from LingDong-/wax

    A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀

    C MIT License Updated Apr 30, 2024
  • Rust MIT License Updated Apr 29, 2024
  • Rust 1 MIT License Updated Apr 21, 2024
  • minkowski Public

    2D Minkowski sums of polygons.

    Rust 1 1 MIT License Updated Apr 19, 2024
  • Source code for the website of the Catala language

    ReScript Apache License 2.0 Updated Apr 5, 2024
  • Collection of Catala programs

    Makefile Apache License 2.0 Updated Apr 5, 2024
  • tiling Public

    TypeScript 1 Updated Apr 1, 2024
  • pyodide Public

    Forked from pyodide/pyodide

    Pyodide is a Python distribution for the browser and Node.js based on WebAssembly

    Python Mozilla Public License 2.0 Updated Mar 16, 2024
  • wasmad Public

    Automatic differentiation for WebAssembly.

    TypeScript 3 MIT License Updated Feb 23, 2024
  • binaryen Public

    Forked from WebAssembly/binaryen

    Optimizer and compiler/toolchain library for WebAssembly

    WebAssembly Apache License 2.0 Updated Feb 21, 2024
  • austral Public

    Forked from austral/austral

    Systems language with linear types and capability-based security.

    OCaml Apache License 2.0 Updated Feb 18, 2024
  • The website for the Austral programming language.

    HTML Updated Feb 18, 2024
  • triangles Public

    TypeScript 1 MIT License Updated Jan 24, 2024
  • HTML MIT License Updated Jan 17, 2024
  • diagrams Public

    Python 1 MIT License Updated Jan 15, 2024
  • binaryuan Public

    Lightweight JavaScript rewrite of the core of Binaryen.

    MIT License Updated Dec 25, 2023
  • Rust MIT License Updated Dec 22, 2023
  • A typescript-eslint plugin restricting unary negation to numbers.

    TypeScript MIT License Updated Dec 11, 2023
  • gvc0 Public

    Forked from gradual-verification/gvc0

    Gradually Verified C0

    Scala Updated Dec 6, 2023
  • grackle Public

    Diagram with JSX.

    TypeScript MIT License Updated Jul 20, 2023
  • Facilitating high-level interactions between Wasm modules and JavaScript

    Rust Apache License 2.0 Updated Jun 6, 2023