- Seoul, Korea
Highlights
- Pro
Stars
- All languages
- Assembly
- Batchfile
- Bicep
- Bluespec
- Boogie
- C
- C#
- C++
- CSS
- CoffeeScript
- Dhall
- Dockerfile
- Emacs Lisp
- Erlang
- F#
- F*
- GDScript
- GLSL
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Mojo
- OCaml
- Objective-C++
- PHP
- Perl
- Pkl
- Pony
- PowerShell
- Python
- Racket
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Starlark
- Swift
- SystemVerilog
- TeX
- TypeScript
- V
- VHDL
- Verilog
- Vue
- Wren
- Zig
- ooc
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
A jq-like Markdown query language for command-line processing
A native TypeScript compiler written in Rust. Compiles TypeScript directly to executables using SWC and LLVM.
Pre-indexed code knowledge graph, auto syncs on code changes, for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local
The agent that grows with you
A GPU-rendered terminal emulator with inline 3D graphics 🐀🧀
GitNexus: The Zero-Server Code Intelligence Engine - GitNexus is a client-side knowledge graph creator that runs entirely in your browser. Drop in a GitHub repo or ZIP file, and get an interactive …
VHDL and Verilog/SV IDE: state machine viewer, linter, documentation, snippets... and more!
A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.
FinceptTerminal is a modern finance application offering advanced market analytics, investment research, and economic data tools, designed for interactive exploration and data-driven decision-makin…
VUnit is a unit testing framework for VHDL/SystemVerilog
Create and share 3D architectural projects.
Production-grade engineering skills for AI coding agents.
Breakthrough Method for Agile Ai Driven Development
Storybook for flowcharts. Auto-discovers Mermaid diagram files from your codebase, organizes them by category, and renders them in a browsable viewer.
Rust GUI components for building fantastic cross-platform desktop application by using GPUI.
Transparent comparisons between schema validation libraries
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
A 5-20x faster experimental Homebrew alternative
Full Source Code for Making a Language series