chameco Goto Github PK
Type: User
Type: User
Haskell bindings for ABC
Provides an interface for AIGs and word-level operations on them
A community driven list of useful Emacs packages, libraries and others.
https://sbree.se/bird/index.html
dependently-typed lisp with flexible compiler backends
Magic: The Gathering in org-mode
Crucible is a library for symbolic simulation of imperative programs
Cryptography and Network Security - Homework 1
Cryptography and Network Security - Homework 2
Cryptography and Network Security - Homework 3
This is my repository for the first CSCI-4230 homework taught by Professor Yener at RPI.
Cryptol: The Language of Cryptography
The Cryptol Symbolic Simulator, part of SAW.
Lab for CSCI2963: Introduction to MongoDB
3D voxel engine using geometry shaders
Haskell library for parsing DWARF object format
The elf-edit library provides a datatype suitable for reading and writing Elf files.
Emacs major mode for managing virtual machines.
the fibonacci only you would give me
Cryptography and Network Security - Final Project
A library for disassembling x86-64 binaries.
dwm status script written in Go
pursuing stack
A Helm interface to the package manager of your operating system
Clojure Markdown parser
Utility scripts for testing SAW x86 simulation against the machine
A Haskell parser for JVM bytecode files
The Java Symbolic Simulator, part of SAW.
Pokemon Crystal save file parser / editor
An llvm pretty printer inspired by the haskell llvm binding
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.