Highlights
- Pro
Lists (6)
Sort Name ascending (A-Z)
Stars
- All languages
- ANTLR
- Agda
- Assembly
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Dafny
- Emacs Lisp
- Erlang
- F#
- F*
- Go
- Groovy
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Markdown
- Nix
- OCaml
- PHP
- Perl
- PowerShell
- Prolog
- Python
- R
- Racket
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Shen
- Standard ML
- TLA
- TSQL
- TeX
- TypeScript
- UrWeb
✂️ Syntax correction in context-free and weakly context-sensitive languages.
Ongoing research training transformer models at scale
Holocron is an object storage based leader election library.
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Implement a ChatGPT-like LLM in PyTorch from scratch, step by step
The book "Performance Analysis and Tuning on Modern CPU"
Email security is a key part of internet communication. But what are SPF, DKIM, and DMARC, and how do they work? This guide will explain it all in simple terms to make these concepts clearer.
Hackers' Guide to Language Models
⏩ Automatically continue generating answers when ChatGPT responses get cut-off
An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.
miniKanren with a first-order representation of the search space
Implementation of a memory efficient multi-head attention as proposed in the paper, "Self-attention Does Not Need O(n²) Memory"
Fast and memory-efficient exact attention
Source for the little book about OS development
A simple API for programmatically handling maven artifacts and metadata
A place to get started in the Scala ecosystem
Neural Networks: Zero to Hero
A playbook for systematically maximizing the performance of deep learning models.
A static bug-checking tool for C/C++ applications.
Cheatsheets for experienced React developers getting started with TypeScript
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
PaL: Program-Aided Language Models (ICML 2023)
3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
CMSC 430 Design and Implementation of Programming Languages