Lists (8)
Sort Name ascending (A-Z)
- All languages
- Agda
- Assembly
- AutoIt
- Batchfile
- Bikeshed
- Bluespec
- Brainfuck
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Classic ASP
- Clojure
- Common Lisp
- Coq
- Cuda
- Cython
- D
- DIGITAL Command Language
- Dart
- Dockerfile
- Dune
- Earthly
- Eiffel
- Emacs Lisp
- Erlang
- F#
- F*
- Fortran
- Futhark
- G-code
- GCC Machine Description
- GLSL
- Gnuplot
- Go
- Groovy
- HTML
- Hack
- Handlebars
- Haskell
- Haxe
- Idris
- Inno Setup
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Logos
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mermaid
- Mojo
- MoonBit
- Nunjucks
- OCaml
- Objective-C
- OpenQASM
- OpenSCAD
- PHP
- PLpgSQL
- Perl
- PostScript
- PowerShell
- Processing
- Python
- R
- Racket
- Raku
- ReScript
- Reason
- Rez
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SQL
- SWIG
- Scala
- Scheme
- Shell
- Sieve
- Solidity
- SourcePawn
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TSQL
- Tcl
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- VBScript
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wolfram Language
- XSLT
- Zig
- reStructuredText
Starred repositories
Source code for the X Recommendation Algorithm
Open-source high-performance RISC-V processor
Chisel: A Modern Hardware Design Language
An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more
SonicBOOM: The Berkeley Out-of-Order Machine
FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility
Flexible Intermediate Representation for RTL
Lab exercises for Chisel in the digital electronics 2 course at DTU
UCLID5: formal modeling, verification, and synthesis of computational systems
The timenorm library provides models for finding natural language expressions of dates and times and converting them to a normalized form.
Examples of Automatic Differentiation (AD) in many different languages and systems