Alternatives and similar repositories for UpAndGo

Users that are interested in UpAndGo are comparing it to the libraries listed below

• michael-maltsev / cheese-fork
  A scheduling helper web application for Technion students
  ☆55Updated 2 weeks ago
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Updated 9 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆112Updated 6 years ago
• darksv / compile-time-ray-tracer-in-rust
  Compile-Time Ray Tracer in Rust ported from C++
  ☆87Updated 3 months ago
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆60Updated 4 years ago
• LowLevelAcademy / server
  Low-Level Academy backend code
  ☆41Updated 4 years ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• WebAssembly / bulk-memory-operations
  Bulk memory operations
  ☆78Updated 4 years ago
• gamozolabs / gamozolabs.github.io
  Apparently this maybe blogs or something?
  ☆16Updated 10 months ago
• bytecodealliance / target-lexicon
  Target "triple" support
  ☆54Updated 4 months ago
• brianwp3000 / impl_ops
  Macros for overloading operators easily in Rust.
  ☆16Updated 5 years ago
• japaric / no-std-async-experiments
  Experiments in `no_std` cooperative multitasking
  ☆23Updated 6 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆69Updated 5 years ago
• gsingh93 / llvm
  Safe LLVM bindings for Rust
  ☆21Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• Avi-D-coder / sundial-gc-design
  type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc
  ☆31Updated 5 years ago
• kevinmehall / codemap
  A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.
  ☆52Updated 3 years ago
• phate / jive
  ☆14Updated 3 years ago
• RustDT / RustLSP
  A Language Server Protocol implementation in Rust
  ☆62Updated 6 years ago
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆67Updated 5 years ago
• SergioBenitez / proc-macro-starter
  Starter code for writing procedural macros in Rust.
  ☆17Updated 6 years ago
• rust-lang / rust-memory-model
  Collecting examples and information to help design a memory model for Rust.
  ☆126Updated 6 years ago
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆37Updated 3 months ago
• luser / rust-debugger-tools-info
  ☆29Updated 7 years ago
• nilehmann / liquid-rust
  ☆37Updated 3 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 7 months ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 3 years ago