- United States
- http://tejqunair.com/
Stars
- All languages
- Adblock Filter List
- Agda
- C
- C#
- C++
- CSS
- Chapel
- Clojure
- CoffeeScript
- Common Lisp
- Crystal
- Cuda
- Dart
- Dhall
- Elixir
- Emacs Lisp
- Erlang
- F*
- Flix
- FreeMarker
- Gleam
- Go
- HTML
- Handlebars
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Less
- LiveScript
- Lua
- MDX
- MLIR
- Markdown
- NCL
- Nim
- Nix
- OCaml
- PHP
- Perl
- PowerShell
- PureScript
- Python
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- Swift
- TeX
- TypeScript
- Vala
- Verilog
- Vim Script
- Zig
Database-Backed Durable TypeScript Workflows
A programming language for libraries translated to all the others
Marionette is a deterministic simulation testing (DST) library for Zig.
Magical Deterministic Simulator for distributed systems in Rust.
Interactive chord identification and harmony exploration, with live MIDI and manual input
Eclipse iceoryx2™ - true zero-copy inter-process-communication with a Rust core
🔧 pyinfra turns Python code into shell commands and runs them on your servers. Execute ad-hoc commands and write declarative operations. Target SSH servers, local machine and Docker containers. Fas…
Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.
CI and hosting for nix-based, flakified github repos
Alternative future adapters that provide cancel safety.
cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…
A new lightweight, hybrid routing mesh protocol for packet radios
Gecko: a fast GLR parser with automatic syntax error recovery
All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).
A collaborative environment for formal, interoperable, conceptual modeling
Library for reducing tail latency in RAM reads
Semantic version control => entity-level diffs, blame, and impact analysis on top of git. 28 languages via tree-sitter. Built for coding agents.
A little language inspired by Rust that compiles to Go