Stars
- All languages
- AppleScript
- Assembly
- C
- C#
- C++
- CMake
- CSS
- CoffeeScript
- Coq
- Cython
- D
- Emacs Lisp
- FreeMarker
- GAP
- Go
- HTML
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- Lua
- Makefile
- Markdown
- Objective-C
- Objective-C++
- Perl
- Python
- R
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Shell
- Swift
- TSQL
- TeX
- TypeScript
- Vim Script
Provides TestResult type for concise and precise test failures
libdecnumber bindings for the Rust programming language
Publish Rust crates from CI with a Release PR.
A modern Neovim configuration with full battery for Python, Lua, C++, Markdown, LaTeX, and more...
An interpreter for Rust's mid-level intermediate representation
An extremely fast Python linter and code formatter, written in Rust.
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Wrap rust executables in OS-specific app bundles
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
A test-driven workshop to learn Rust building your own JIRA clone!
a multi-language bindings generator for rust
Wrapper around Rc safe to send to a different thread
Best and simplest tool for website change detection, web page monitoring, and website change alerts. Perfect for tracking content changes, price drops, restock alerts, and website defacement monito…
List of startups/companies that had successful pivots
Set of tools produced during the creation of the PhD thesis "Model selection and testing for an automated constraint modelling toolchain" which focused on how to find good constraint programming mo…
no-op statements syntactically valid only since Python X.Y
Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
A curated list of awesome OR-Tools community resources.
🤫 Noiseless Browsing – Content Blocker for Safari
A SQL database implemented purely in TypeScript type annotations.
https://simonwillison.net/2020/Jul/10/self-updating-profile-readme/