4txj7f Goto Github PK
Name: Andres Noetzli
Type: User
Company: @cubist-dev
Andres Noetzli's Projects
alive
Alive: Automatic LLVM's Instcombine Verifier
aws-deployment-pipeline-reference-architecture
Reference architecture for deployment pipelines
aws-satcomp-solver-sample
axelar-docs
Resources & Documentation for Axelar Network
bitcoin-pokemon
cryptominisat
An advanced SAT Solver
ctfp
Constant-Time Floating Point
cvc4-website
cvc4-win64
cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
ddsmt
A delta debugger for SMT benchmarks in SMT-LIB v2.
docs
dolmen
An OCaml library providing clean and flexible parser for languages used in automated deduction
dot-hammerspoon
dotfiles
dummyrepo
hammerpass
Hammerspoon script for the pass password manager
haskell-boolector
Haskell bindings for the Boolector SMT solver
homebrew-core
🍻 Default formulae for the missing package manager for macOS
homebrew-cvc4
Homebrew formula for CVC4
lfsc
LFSC Proof Checker
lithiumtnc
lms
EPFL DATA Lab fork of LMS (TiarkRompf/virtualization-lms-core)
nixpkgs
Nix Packages collection
node-tar
tar for node
nvim-config
paperlint
pysmt
pySMT: A library for SMT formulae manipulation and solving
rust-rosetta
Just some Rust fiddles.
solidity
The Solidity Contract-Oriented Programming Language
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.