- Brazil
- berti.me
Lists (4)
Sort Name ascending (A-Z)
Stars
- All languages
- Adblock Filter List
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Cirru
- Clojure
- CoffeeScript
- Common Lisp
- Cuda
- Dart
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- Flix
- Forth
- Futhark
- GLSL
- Go
- HLSL
- HTML
- Hack
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Less
- Lua
- MATLAB
- Makefile
- Markdown
- MiniZinc
- Modelica
- Mojo
- Nim
- Nix
- Nushell
- OCaml
- Objective-C
- Objective-C++
- Perl
- Prolog
- PureScript
- Python
- R
- Racket
- Ragel
- Reason
- Rocq Prover
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Smalltalk
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- Verilog
- Vim Script
- Vue
- WGSL
- WebAssembly
- Wolfram Language
- ZIL
- Zig
A framework for building complex computational geometry based on PicoGK
Commonly used data structures for Swift
LLM inference server with continuous batching & SSD caching for Apple Silicon — managed from the macOS menu bar
Differentiable Finite Element Method with JAX
a PDF that changes based on how its read
Swift TrueType Interpreter
Optimized primitives for collective multi-GPU communication
🎥 Make videos programmatically with React
Pure Nim regex engine. Guarantees linear time matching
Command-line utility for multipattern search using liblightgrep
An open source utility that provides fast incremental file transfer. It also has useful features for backup and restore operations among many other use cases.
RE# - A high-performance, automata based regex engine with first-class support for intersection and complement operations.
A command line tool for datetime arithmetic, parsing, formatting and more.
HyperFormula is an open-source headless spreadsheet for business web apps. It comes with over 400 formulas, CRUD operations, undo-redo, clipboard support, and sorting.
A command-line tool to view documentation for Zig standard library symbols
Blender GDSII Importer with PDK Support
evan108108 / StealthPanda
Forked from lightpanda-io/browserLightpanda: the headless browser designed for AI and automation
Run, manage, and scale AI workloads on any AI infrastructure. Use one system to access & manage all AI compute (Kubernetes, Slurm, 20+ clouds, on-prem).
A theoretical reconstruction of the Claude Mythos architecture, built from first principles using the available research literature.
zerx-lab / zap
Forked from warpdotdev/warpZap is an open, local-first terminal with first-class AI and agent support.
A guide to writing a DNS Server from scratch in Rust
Automated data broker opt-out runner — removes your personal info from 30+ people-search sites on a monthly schedule
DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm
Generating LLVM IR without malloc or external dependencies
Render and customize rich attributed text in SwiftUI