Building a modern functional compiler from first principles.
- compiler
- lambda-calculus
- type-inference
- haskell
Repository Index
70,234 visible repositories in the index
25–48 of 66 · Most stars
A collection of out-of-tree LLVM passes for teaching and learning
- llvm-pass
- llvm-tutor
- llvm-ir
- llvm-tutorial
jank is the native Clojure dialect with seamless C++ interop.
VisualVM is an All-in-One Java Troubleshooting Tool
- visualvm
- java
- performance
- profiler
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.
- c
- programming-language
- system-programming
- clang
A high performance implementation of the Ruby programming language, built on GraalVM.
- graalvm
- ruby
- truffle
- hacktoberfest
Functional programming language for signal processing and sound synthesis
HeavyDB (formerly MapD/OmniSciDB)
- gpu
- database
- olap
- visualization
学习C & C++ & python&汇编语言 LLVM编译器 数据结构 算法 操作系统 单片机 linux 面试
- linux
- c
- cpp
- python
It's a New Kind of Wrapper for Exposing LLVM (Safely)
- rust
- llvm
- safe
- wrapper
An LLVM/Clang/LLD based mingw-w64 toolchain
High-performance runtime for data analytics applications
- stanford
- data
- analytics
- machine-learning
VHDL 2008/93/87 simulator
- vhdl
- ghdl
- simulator
- testbench
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
- clang
- cpp
- c
- clang-tidy
A safe, easy systems language
Mirror of borgmatic: Simple, configuration-driven backup software for servers and workstations
- python
- backup
- borg
- borgbackup
Advanced shading language for production GI renderers
- osl
- shading-language
- shaders
- c-plus-plus
A lightweight LLVM python binding for writing JIT compilers
Circuit IR Compilers and Tools
- circt
- llvm
- mlir
Static analyzer and linter for Clojure code that sparks joy
- clojure
- clojurescript
- linter
- static-analysis
The LLVM-based D Compiler.
Clojure & ClojureScript Language Server (LSP) implementation
- clojure
- lsp
- language-server
- clj
Library for interacting with LLVM IR in pure Go.
- llvm-ir
- go
- golang
- llvm
🔐 A CLI tool to extract server certificates