-
MIT
- Cambridge, MA
- https://people.csail.mit.edu/jrk
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- Ada
- AppleScript
- Assembly
- Awk
- BQN
- Batchfile
- Blade
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- Dart
- Dhall
- Dockerfile
- Earthly
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Fennel
- Fortran
- Futhark
- GLSL
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Less
- Lua
- MATLAB
- Makefile
- Markdown
- Monkey C
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- Objective-J
- PHP
- PLpgSQL
- Perl
- PostScript
- PowerShell
- Prolog
- PureScript
- Python
- QML
- R
- Racket
- ReScript
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Scheme
- Shell
- Smalltalk
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TSQL
- TeX
- Terra
- TypeScript
- V
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wren
- XSLT
- ZIL
- Zig
- ooc
Starred repositories
the shell-script tmux management you didn't know you needed. baby
Light-weight control pane to run CLI coding agents(Claude Code, Codex) in parallel
"Proof of thought: Neurosymbolic program synthesis allows robust and interpretable reasoning" published Sys2Reasoning Workshop NeurIPS 2024
Practical techniques for coding with ai assistants (Claude Code, Codex CLI, Cursor, etc). Available in: English • Español • Deutsch • Français • 日本語
Lower-latency OpenMP-style minimalistic scoped thread-pool designed for 'Fork-Join' parallelism in Rust and C++, avoiding memory allocations, mutexes, CAS-primitives, and false-sharing on the hot p…
Generate a timeline of your day, automatically
🗣️ A CLI for on-device speech transcription using Speech.framework on macOS 26
Helping you quickly locate the notes in your mind in the easiest way, without the need for complex search syntax to find relevant content.
VoiceMode MCP brings natural conversations to Claude Code
This methodology provides a structured approach for collaborating with AI systems on software development projects. It addresses common issues like code bloat, architectural drift, and context dilu…
Nim library to infer/generate command-line-interfaces / option / argument parsing; Docs at
A Python-embedded DSL that makes it easy to write fast, scalable ML kernels with minimal boilerplate.
Port Kill helps you find and free ports and caches blocking your dev work.
Expose the contents of .docx files without leaving your terminal. Fast, safe, and smart — no Office required!
Peer-to-peer, editor-agnostic collaborative editing of local text files.
RooCodeInc / Roo-Code
Forked from cline/clineRoo Code gives you a whole dev team of AI agents in your code editor.