- Shenzhen
- scicomath.github.io
- All languages
- ANTLR
- Astro
- C
- C#
- C
- CMake
- CSS
- Clojure
- Common Lisp
- Cuda
- D
- Dart
- Dockerfile
- Emacs Lisp
- Go
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- JetBrains MPS
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mercury
- OCaml
- Objective-C
- OpenEdge ABL
- PDDL
- PHP
- PLpgSQL
- Perl
- PowerShell
- Puppet
- Python
- R
- Red
- Ruby
- Rust
- SAS
- Scala
- Scheme
- Shell
- Svelte
- Swift
- SystemVerilog
- TeX
- Toit
- TypeScript
- Vue
- YASnippet
- Zig
Starred repositories
Empowering everyone to host fast and efficient Minecraft servers.
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Open source Loom alternative. Beautiful, shareable screen recordings.
Front-end skills aren't needed anymore to create a web application. Use the Cursor IDE, it'll write the code for you
o1-engineer is a command-line tool designed to assist developers in managing and interacting with their projects efficiently. Leveraging the power of OpenAI's API, this tool provides functionalitie…
High Performance data structures and utility methods for Java
A modern, colorful ls alternative for bringing clarity to the filesystem ☀️
openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system in 275 supported cars.
Hybrid A* Path Planner for the KTH Research Concept Vehicle
High performance AI inference stack. Built for production. @ziglang / @openxla / MLIR / @bazelbuild
H2 is an embeddable RDBMS written in Java.
TypeScript notebook for rapid prototyping
A lightweight Universal Windows proxy app based on https://github.com/eycorsican/leaf
Mellow is a rule-based global transparent proxy client for Windows, macOS and Linux. Also a Proxifier alternative.
Select, put and delete data from JSON, TOML, YAML, XML and CSV files with a single tool. Supports conversion between formats and can be used as a Go package.
Ancillaries for Algorithms for Decision Making
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
A visualizer for your Akka message flows
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
A from-scratch experimental AOT JS engine, written in JS