alex-ozdemir Goto Github PK
Name: Alex Ozdemir
Type: User
Name: Alex Ozdemir
Type: User
My site
Libraries for finite field, elliptic curve, and polynomial arithmetic
A domain-specific-language for algebraic transformations
Analyzing the way Rust code uses unsafe, out in the wild.
Stream for converting terminal UTF-8 ANSI color codes into HTML
A Rust runtime for AWS Lambda
A numerical, purely Bayesian ranking algorithm written in Java
zk-SNARK library.
Multiprecision arithmetic & RSA accumulators, within SNARKs
Writing an OS in Rust
Experimenting with bulletproofs on arkworks
Monte Carlo Tree Search for Connect Four
(Cir)cuit (C)ompiler. Compiling high-level languages for SMT, zero-knowledge proofs, and more.
Circuit compiler for zkSNARKs
Pedersen Hash and Exponentiation circuits using Baby Jub Curve in circom language
Prototype implementations of various Collaborative zkSNARKs.
The Construct Language - A DSL for Classical Geometry
An advanced SAT solver
CS144 website
Student files for CS245 Programming Assignment 1: In-memory data layout
Implementations of popular elliptic curves
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
A Z3Py-compatible interface to cvc5
Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
D&C Search for SMT, based on gg.
The DRAT-trim proof checker
drat2er: Proof Transformer for Propositional Logic
Responsive and reliable web apps with Elm and Twitter Bootstrap
User documentation for Elm Bootstrap
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.