yongqian's repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
automation-gateway
A OPC UA gateway which gives you access to your OPC UA values via MQTT or GraphQL (HTTP). If you have an OPC UA server in your PLC, or a SCADA system with an OPC UA server, you can query data from there via MQTT and GraphQL (HTTP). In addition, the gateway can also log value changes from OPC UA nodes in an InfluxDB, IoTDB, Kafka, and others.
bullet3
Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.
conduitrn
Real world react native application built with clojurescript and re-frame
conflux
Confluence clone using Vue.js and Quasar Framework
CP-next
The Next Generation of Compositional Programming
cryptominisat
An advanced SAT solver
cs6120
advanced compilers
dubbo
Apache Dubbo is a high-performance, java based, open source RPC framework.
editor.js
A block-styled editor with clean JSON output
forsyde-shallow
ForSyDe's Haskell-embedded Domain Specific Language
fusebots
I am a robot
gatekeeper
First open-source DDoS protection system
Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
ironplc
Prototype Rust-based SoftPLC
mader
Trajectory Planner in Multi-Agent and Dynamic Environments
mastodon
Your self-hosted, globally interconnected microblogging community
os-tutorial
How to create an OS from scratch
plutus
The Plutus language implementation and tools
pythonocc-demos
Examples and demos for the pythonocc CAD package
reagent-react-native
Example App using reagent with react-native via shadow-cljs
rusty
Structured Text Parser and LLVM Frontend
self-assembling-manifold
The Self-Assembling-Manifold (SAM) algorithm.
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
taichi
Productive & portable programming language for high-performance, sparse & differentiable computing on CPUs & GPUs