ianamason

ianamason's Stars

• ICPorts-labs/chico

  C/C++ CDK for the Internet Computer

  Language:C9

• ICPorts-labs/Docs

  Documentation

  3

• trailofbits/blight

  A framework for instrumenting build tools

  Language:Python838

• oleggrishechkin/react-viewport-list

  📜 Virtualization for lists with dynamic item size

  Language:TypeScript22620

• ppggff/vagrant-qemu

  Use Vagrant to manage machines using QEMU. Test with Apple Silicon / M1 and CentOS aarch64 image

  Language:Ruby42433

• react-ga/react-ga

  React Google Analytics Module

  Language:JavaScript5.1k449

• supasate/connected-react-router

  A Redux binding for React Router v4

  Language:JavaScript4.7k593

• corretto/hotpatch-for-apache-log4j2

  An agent to hotpatch the log4j RCE from CVE-2021-44228.

  Language:Java49372

• angular/angular

  Deliver web apps with confidence 🚀

  Language:TypeScript95.9k25.3k

• minio/minio-js-store-app

  Store Application using minio-js library to manage product assets

  Language:HTML5133

• HassenSaidi/whole-program-analysis

  1

• SRI-CSL/stegotorus

  A Camouflage Proxy for the Tor Anonymity System

  Language:C++7717

• travitch/whole-program-llvm

  A wrapper script to build whole-program LLVM bitcode files

  Language:Python687125

• free5gc/free5gc

  Open source 5G core network based on 3GPP R15

  Language:Go1.9k623

• abousselmi/vagrant-free5gc

  A vagrant box for test/dev of Free5GC with kernel version 5.0.0-23-generic. If you have a 5.4.x or higher kernel version, you won't need it!

  Language:Shell134

• mame/quine-relay

  An uroboros program with 100+ programming languages

  Language:Ruby13.9k554

• thomasjball/PyExZ3

  Python Exploration with Z3

  Language:HTML32350

• ianamason/SudokuSensei

  Using Yices2 to solve, explain, and teach Sudoku puzzle solving.

  Language:Python2

• SRI-CSL/NTT

  An Implementation of the Number Theoretic Transform

  Language:C3310

• SRI-CSL/PLambda

  A Python version of JLambda

  Language:Python24

• LouisBrunner/valgrind-macos

  A valgrind mirror with latest macOS support

  Language:C1.1k59

• SRI-CSL/cudd

  Colorado University Decision Diagrams

  Language:C22

• arminbiere/cadical

  CaDiCaL SAT Solver

  Language:C++358127

• ivmai/cudd

  CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/CUDD/html/index.html (intro: https://web.archive.org/web/20150215010018/http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html)

  Language:C11664

• SRI-CSL/yices2_java_bindings

  Java bindings for Yices 2.

  Language:C++42

• yujitach/MenuMeters

  my fork of MenuMeters by http://www.ragingmenace.com/software/menumeters/

  Language:Objective-C3k223

• SRI-CSL/DroneSim

  SoftAgents drone simulation example

  Language:Python33

• richfelker/mallocng-draft

  Working draft of nextgen malloc implementation for musl libc

  Language:C11611

• SRI-CSL/yices2_go_bindings

  Golang bindings for yices2

  Language:Go74

• SRI-CSL/yices2_ocaml_bindings

  Language:OCaml113