Lists (3)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- APL
- ATS
- ActionScript
- Ada
- Assembly
- Ballerina
- Bikeshed
- BitBake
- Bluespec
- Boogie
- Brainfuck
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Chapel
- Cirru
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- D
- Dockerfile
- Dylan
- Eagle
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- FIRRTL
- Factor
- Fennel
- Forth
- Fortran
- Frege
- Futhark
- G-code
- GAP
- GDScript
- GLSL
- Gherkin
- Gleam
- Go
- Groff
- HCL
- HLSL
- HTML
- Handlebars
- Haskell
- Haxe
- Hy
- Idris
- Isabelle
- J
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- KiCad Layout
- Kotlin
- LFE
- LLVM
- Lean
- LiveScript
- Lua
- MATLAB
- MLIR
- Macaulay2
- Makefile
- Mako
- Markdown
- Mathematica
- Max
- Mercury
- Meson
- Modula-2
- MoonScript
- NASL
- NewLisp
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- OpenSCAD
- PHP
- Pascal
- Perl
- Pony
- PostScript
- Prolog
- PureScript
- Python
- R
- Racket
- Ragel in Ruby Host
- ReScript
- Reason
- Roff
- Ruby
- Rust
- SAS
- SCSS
- SMT
- SWIG
- Scala
- Scheme
- Shell
- Shen
- Smarty
- SourcePawn
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TL-Verilog
- TLA
- TSQL
- Tcl
- TeX
- Terra
- Text
- Toit
- TypeScript
- V
- VHDL
- Verilog
- Vim Script
- Visual Basic .NET
- Vue
- WebAssembly
- Witcher Script
- XSLT
- Yacc
- Zig
- mupad
- nesC
- q
- wisp
Starred repositories
Language server and other tools for WebAssembly.
A super-fast, stack-based virtual machine for dynamic languages
canmv k230 micropython openmv rtsmart mpp opensbi uboot
📚 Jupyter notebook tutorials for OpenVINO™
Shell based, minimal dependency bhyve manager
ChatDBG - AI-assisted debugging. Uses AI to answer 'why'
A lightweight TUI application to view and query tabular data files, such as CSV, TSV, and parquet.
Example PyKE code and Jupyter Notebook for a simple backwards chaining expert system as described in this lecture on YouTube: https://www.youtube.com/watch?v=mzsk5_EmZq8
An rv32i inspired ISA, SIMT GPU implementation in system-verilog.
LFI: Practical, Efficient, and Secure Software-based Sandboxing
The SALSA Lite (SALSA 2.0 Alpha) Programing Language
An LLM-powered programming-by-example programming language.
Reinforcement learning environments for compiler and program optimization tasks
Wasm orchestrator and rules engine built on the top of SuperMQ
OpenHealth, AI Health Assistant | Powered by Your Data
Toy process language with an interactive playground for exploring concurrency
Clean, minimal, accessible reproduction of DeepSeek R1-Zero
Code for ACL 2024 paper "Artifacts or Abduction: How Do LLMs Answer Multiple-Choice Questions Without the Question?"
GraphIt - A High-Performance Domain Specific Language for Graph Analytics
Fully open reproduction of DeepSeek-R1