Pinned Repositories
A-Pathfinding-Visualization
First attempt at an efficient pathfinding algorithm in Java. I made this visualization to show the beauty of pathfinding. You can modify all major features of my algorithm through the graphics interface.
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
akka-stream-http-sample
simple web socket service built with the akka-stream and http API
arm-cmake-toolchains
CMake toolchain configurations for ARM
assembly-digital-lock-
A digital lock with various features written in assembly
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.
awesome-GAN-papers
papers and codes about GAN
awesome-go
A curated list of awesome Go frameworks, libraries and software
py2crtos
python3 to freertos dsl
vim
vim config
yongqian10's Repositories
yongqian10/vim
vim config
yongqian10/py2crtos
python3 to freertos dsl
yongqian10/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
yongqian10/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.
yongqian10/cardano
yongqian10/bullet3
Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.
yongqian10/conduitrn
Real world react native application built with clojurescript and re-frame
yongqian10/conflux
Confluence clone using Vue.js and Quasar Framework
yongqian10/CP-next
The Next Generation of Compositional Programming
yongqian10/cryptominisat
An advanced SAT solver
yongqian10/cs6120
advanced compilers
yongqian10/dubbo
Apache Dubbo is a high-performance, java based, open source RPC framework.
yongqian10/editor.js
A block-styled editor with clean JSON output
yongqian10/forsyde-shallow
ForSyDe's Haskell-embedded Domain Specific Language
yongqian10/fusebots
I am a robot
yongqian10/gatekeeper
First open-source DDoS protection system
yongqian10/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
yongqian10/ironplc
Prototype Rust-based SoftPLC
yongqian10/mader
Trajectory Planner in Multi-Agent and Dynamic Environments
yongqian10/mastodon
Your self-hosted, globally interconnected microblogging community
yongqian10/motorola-assessmenta
yongqian10/os-tutorial
How to create an OS from scratch
yongqian10/plutus
The Plutus language implementation and tools
yongqian10/pythonocc-demos
Examples and demos for the pythonocc CAD package
yongqian10/reagent-react-native
Example App using reagent with react-native via shadow-cljs
yongqian10/rusty
Structured Text Parser and LLVM Frontend
yongqian10/self-assembling-manifold
The Self-Assembling-Manifold (SAM) algorithm.
yongqian10/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
yongqian10/taichi
Productive & portable programming language for high-performance, sparse & differentiable computing on CPUs & GPUs
yongqian10/tinyos3