Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra
Repository Index
47,133 repositories indexed
169–192 of 333 · Most stars
WATSON: Wasted but Amazing Turing-incomplete Stack-based Object Notation
- esolang
- esoteric-language
- serialization
- encoding
JavaScript Engine for .NET
- netcore
- standard
- csharp
- csharp-library
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.
Elegance, high performance and robustness all in one java bean mapper
- annotations
- xml
- java
- jmapper
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
A Blazor WebAssembly app for browsing the "Awesome Blazor" resources.
- blazor
- blazor-webassembly
- blazor-client
- blazor-application
A concise language for sketching ASCII art.
- esoteric-language
- ascii-art
- golfing-language
C language library for creating bindings for the Qt QML language
- qml-bindings
- qt-qml-language
- qml
- qt
A lexer and parser for GraphQL in .NET
interactive programming of melodies, producing MIDI
Useful cmake macros that help with: compiler/linker flags, collecting sources, PCHs, Unity builds and other stuff.
- linker-flags
- cmake
- compiler-flags
- unity-build
D language bindings for the Godot Engine's GDNative API
A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.
- fabric
- horizon
- minecraft
- neoforge
Rust-like error handling and options for Bun, Deno and Node.
- deno
- typescript
- rust
- error-handling
Secure firmware framework focusing on developer experience
A lightweight lexical string parser for BBCode styled markup.
- decoda
- bbcode
- bbcode-parser
- hooks
state machine which runs code
- golang
- workflows
- state-machine
- actor-model
An esoteric programming language built to break LLMs and coding agents.