
- All languages
- Agda
- Alloy
- Assembly
- AutoHotkey
- Bikeshed
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dafny
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Fennel
- GLSL
- Go
- Groovy
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- Makefile
- Markdown
- OCaml
- Objective-C
- PHP
- Perl
- Promela
- Pyret
- Python
- Racket
- Raku
- ReScript
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Shen
- Standard ML
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- Thrift
- TypeScript
- Vim Script
- XSLT
Starred repositories
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Library for symbolic automata and symbolic visibly pushdown automata
Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 2, and other large language models.
Hatsunespica / xdsl-smt
Forked from opencompl/xdsl-smtThe implementation of an SMTLib dialect for xDSL
🤗 A specialized library for integrating context-free grammars (CFG) in EBNF with the Hugging Face Transformers
[NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution
Proving leftpad correct two-dozen different ways
Rough examples of using Chorex—very experimental!
a recurrent network trained to draw dicks
SRP (Secure Remote Password) 6/6a library for Elixir
Wrapper around the Erlang crypto module for Elixir.
A curated list of cryptography resources and links.
Security proofs written to be machine checkable.