Write components once, run everywhere. Compiles to React, Vue, Qwik, Solid, Angular, Svelte, and more.
Repository Index
47,133 repositories indexed
1–20 of 20 · Most stars
Write any JavaScript with 6 Characters: []()!+
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
A fast single-producer, single-consumer lock-free queue for C++
[Mirror] A linter for prose.
- linter
- prose
- writer
- advice
Functional Programming Library for C++. Write concise and readable C++ code.
- range
- composition
- stl
- functional-programming
Next generation API for .NET
- reflection
- raft
- raft-consensus
- raft-consensus-algorithm
Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic dispatch.
ember-concurrency is an Ember Addon that enables you to write concise, worry-free, cancelable, restartable, asynchronous tasks.
Run Node.js on Android by rewrite Node.js in Java
- udt
- p2p
- node-android
- java
Lossless compression C library built for ultra-fast decode. Faster than LZ4 (+35% to 105%+; best on ARM64), at a better ratio. Official Rust, Python, Node.js, Go and WASM bindings. Write-once/read-many, with optional seekable archives for O(1) random access.
- arm64
- c
- compression
- lz4
Java utilities: DeepEquals, Converter, LRUCache, CompactMap/Set, CaseInsensitiveMap, UniqueIdGenerator, FastReader/Writer, and more. Zero dependencies, JDK 8+
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
Human-readable schedule expressions for .NET (C#): write "every day at 9am except sunday" instead of cron. Time zones, fluent builder, custom keywords, cron converter.
- cron
- csharp
- date-time
- dotnet
Write HTML in plain Crystal
CSV/Tab Delimited and Fixed Length Parser and Writer
- csv-parser
- csv
- java
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Jmeter as code is the easy way to write jmeter test as code.
- jmeter
- java
- performance-testing
- performance
JSON & BSON parser/writer
Machine learning compiler in Go. A from-scratch tinygrad port: graph-rewrite IR, autodiff as a compiler pass, zero-CGO WebGPU backend.
- autograd
- compiler
- deep-learning
- golang