IanBriggs

IanBriggs's Stars

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k256

• zaneenders/_WebsiteBuilder

  An asbstraction for building Websites

  Language:Swift2

• ocornut/imgui

  Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

  Language:C++59.3k10.1k

• moshix/assist

  ASSIST assembler for MS-DOS

  4

• hellux/z80ti-fpga

  Replication of a TI83p with a Z80 programmable to an FPGA.

  Language:VHDL6

• lcn2/calc

  C-style arbitrary precision calculator

  Language:C34452

• herbie-fp/rival

  Interval arithmetic for real computation

  Language:Racket20

• egraphs-good/snake-egg

  Python bindings for egg

  Language:Python4613

• bSchnepp/pantheon

  Tiny operating system for aarch64 devices

  Language:C++5

• stillwater-sc/universal-background

  Background papers on computational mathematics and number systems

  Language:C4

• oflatt/intervals-good

  A rust interval arithmetic library which provides flags that detect domain errors.

  Language:Rust4

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.1k1.5k

• MersenneTwister-Lab/SFMT

  SIMD-oriented Fast Mersenne Twister

  Language:C8721

• MersenneTwister-Lab/TinyMT

  Tiny Mersenne Twister

  Language:C++20636

• egraphs-good/egg

  egg is a flexible, high-performance e-graph library

  Language:Rust1.3k129

• altonbill/tests

  Tests for CS 4962 exercises

  1