34-day current streak·62-day longest streak
-
plts ★ PINNED
A collection of programming languages and type systems.
OCaml ★ 35 1y agoExplain → -
captain ★ PINNED ⑂
The Captain CLI can detect and quarantine flaky tests, automatically retry failed tests, partition files for parallel execution, produce markdown failure summaries, and more. It's compatible with 16 testing frameworks.
★ 0 2y agoExplain → -
kythe ★ PINNED ⑂
Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.
Go ★ 0 4y agoExplain → -
xorf
Xor filters - efficient probabilistic hashsets. Faster and smaller than bloom and cuckoo filters.
Rust ★ 166 4mo agoExplain → -
sherpa_41 ▣
Simple browser engine.
C++ ★ 35 6y agoExplain → -
cor
Small core of Roc, for experiments
Roc ★ 12 1y agoExplain → -
twoslash-rust
Generate annotated HTML for Rust code snippets
Rust ★ 10 4y agoExplain → -
hmcd
:black_circle:
Shell ★ 7 1y agoExplain → -
www ▣
:zap: A server for my site, a mail client, online compilers, etc.
Crystal ★ 4 6y agoExplain → -
rats
RaTS! TypeScript didn't save me
★ 3 6y agoExplain → -
lang_narrow
A language with flow typing and structural type narrowing.
OCaml ★ 3 4y agoExplain → -
dts_of_ocaml
Generate TypeScript declarations for js_of_ocaml sources
OCaml ★ 1 1y agoExplain → -
marketfs
No description.
Python ★ 1 2y agoExplain → -
roc ⑂
Roc is a language for making delightful software.
★ 1 2y agoExplain → -
roc-advent-of-code
No description.
★ 1 3y agoExplain → -
hotreload
A small framework for running programs with hot code reloading. Targets machine code or JavaScript in a browser.
TypeScript ★ 1 5y agoExplain → -
tiger
No description.
OCaml ★ 1 4y agoExplain → -
gradec
Tool for grading GitHub-based assignments.
TypeScript ★ 1 5y agoExplain → -
zotero-cli
(WIP) zotero-cli. Not ready for public use.
Go ★ 1 4y agoExplain → -
podman ⑂
Podman: A tool for managing OCI containers and pods.
★ 0 2y agoExplain → -
twoslash ⑂
You take some Shiki, add a hint of TypeScript compiler, and 🎉 incredible static code samples
TypeScript ★ 0 5mo agoExplain → -
friday-tutorial ⑂
No description.
★ 0 8mo agoExplain → -
text ▣
evaluated the zig language writing a small text editor
Zig ★ 0 5y agoExplain → -
melodi-sdk-typescript ⑂
Think sdk for getting your data into Melodi
★ 0 1y agoExplain → -
ayazhafiz.github.io
production mirror of https://github.com/ayazhafiz/gww
HTML ★ 0 2y agoExplain → -
black ⑂
The uncompromising Python code formatter
★ 0 2y agoExplain → -
nerdctl ⑂
contaiNERD CTL - Docker-compatible CLI for containerd, with support for Compose, Rootless, eStargz, OCIcrypt, IPFS, ...
★ 0 2y agoExplain → -
moby ⑂
The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems
★ 0 2y agoExplain → -
visivo ⑂
Pip installable visivo command line tool
★ 0 2y agoExplain → -
dsolnik.github.io ⑂
No description.
★ 0 2y agoExplain → -
jest-bail-issue-reproduction
No description.
JavaScript ★ 0 2y agoExplain → -
roc-vscode-unofficial ⑂
An experimental VSCode extension for Roc language
★ 0 2y agoExplain → -
checkmate
No description.
★ 0 2y agoExplain → -
hash-files
No description.
Rust ★ 0 2y agoExplain → -
challenge1 ▣
No hints will be given.
★ 0 6y agoExplain → -
hoff
Homotopy and Function proofs, for free
★ 0 3y agoExplain → -
cropperjs ⑂
JavaScript image cropper.
★ 0 3y agoExplain → -
rspec-core ⑂
RSpec runner and formatters
★ 0 3y agoExplain → -
typos ⑂
Source code spell checker
★ 0 3y agoExplain → -
vscode ⑂
Visual Studio Code
★ 0 4y agoExplain → -
skhd ⑂
Simple hotkey daemon for macOS
★ 0 4y agoExplain → -
siraben.github.io ⑂
My website
★ 0 4y agoExplain → -
inkwell ⑂
It's a New Kind of Wrapper for Exposing LLVM (Safely)
★ 0 4y agoExplain → -
aframe-toy-repro
Reproduction of a toy problem using A-Frame and TS
★ 0 5y agoExplain → -
rustyline ⑂
Readline Implementation in Rust
★ 0 4y agoExplain → -
angular-cli ⑂
CLI tool for Angular
★ 0 5y agoExplain → -
nixpkgs ⑂
Nix Packages collection
★ 0 4y agoExplain → -
artifactory-client-java ⑂
Artifactory REST Client Java API bindings
★ 0 4y agoExplain → -
team ⑂
Rust teams structure
Rust ★ 0 4y agoExplain → -
trash ⑂
A Rust library for moving files to the Recycle Bin
Rust ★ 0 6y agoExplain → -
underhood ⑂
UnderHood is a code browsing interface backed by Kythe indices.
Haskell ★ 0 4y agoExplain → -
finapp
financial applications
★ 0 6y agoExplain → -
gww-utterances
https://utteranc.es for ayazhafiz.com
★ 0 5y agoExplain → -
strictly-annotated
A pretty printer with special support for comment-like annotations
OCaml ★ 0 5y agoExplain → -
siraben ⑂
No description.
★ 0 5y agoExplain → -
slide ⑂
A math expression rewrite system.
★ 0 3y agoExplain → -
gym-octorotor ⑂
A OpenAI gym for an octorotor
Python ★ 0 5y agoExplain → -
acl2 ⑂
ACL2 System and Books as Maintained by the Community
★ 0 5y agoExplain → -
angular ⑂
One framework. Mobile & desktop.
TypeScript ★ 0 5y agoExplain → -
simple-sub ⑂
Alternative algorithm for algebraic subtyping.
★ 0 5y agoExplain → -
nimbus ⑂
the VandyHacks internal slack bot
★ 0 5y agoExplain → -
vscode-ng-language-service ⑂
VS Code plugin for the Angular Language Service
TypeScript ★ 0 5y agoExplain → -
cargo ⑂
The Rust package manager
★ 0 5y agoExplain → -
ex-merge-angularCompilerOptions
No description.
JavaScript ★ 0 5y agoExplain → -
cppinsights ⑂
C++ Insights - See your source code with the eyes of a compiler
★ 0 5y agoExplain → -
rust ⑂
Empowering everyone to build reliable and efficient software.
Rust ★ 0 5y agoExplain → -
TypeScript ⑂
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TypeScript ★ 0 5y agoExplain → -
vim-latex-live-preview ⑂
A Vim Plugin for Lively Previewing LaTeX PDF Output
★ 0 5y agoExplain → -
rustfmt ⑂
Format Rust code
Rust ★ 0 5y agoExplain → -
chalk ⑂
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
★ 0 6y agoExplain → -
action-lgtm-reaction ⑂
GitHub Action to send LGTM reaction
★ 0 6y agoExplain → -
libtest-mimic ⑂
A small test framework to write your own test harness that looks and behaves like the built-in test harness used by `rustc --test`
Rust ★ 0 5y agoExplain → -
v ⑂
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero dependencies. https://vlang.io
V ★ 0 6y agoExplain → -
rust-analyzer ⑂
An experimental Rust compiler front-end for IDEs
★ 0 6y agoExplain → -
ngx-structurals ⑂
Structural utility directives for Angular
★ 0 6y agoExplain → -
github-actions-ulimit ⑂
No description.
★ 0 3y agoExplain → -
coc-angular ⑂
Angular Language Service coc extension for (neo)vim
★ 0 6y agoExplain → -
xorfilter ⑂
Go library implementing xor filters
★ 0 6y agoExplain → -
minlisp ⑂
A minimum lisp
★ 0 6y agoExplain → -
lectures-fall-2019 ⑂
No description.
HTML ★ 0 6y agoExplain → -
vscode-tmgrammar-test ⑂
Test helpers for VSCode textmate grammars
★ 0 6y agoExplain → -
cool-retro-term ⑂
A good looking terminal emulator which mimics the old cathode display...
★ 0 6y agoExplain → -
mediterranean ⑂
The Italian C
★ 0 6y agoExplain → -
vim-language-server ⑂
vim language server, lsp for viml
★ 0 6y agoExplain → -
codelyzer ⑂
Static analysis for Angular projects.
TypeScript ★ 0 6y agoExplain → -
semantic ⑂
Parsing, analyzing, and comparing source code across many languages
★ 0 6y agoExplain → -
vaken ⑂
Next-gen hacker portal
★ 0 6y agoExplain → -
xargo ⑂
The sysroot manager that lets you build and customize `std`
★ 0 6y agoExplain → -
zig ⑂
robust, optimal, and maintainable programming language
★ 0 6y agoExplain → -
winit ⑂
Window handling library in pure Rust
★ 0 6y agoExplain → -
pyret-lang ⑂
The Pyret language.
★ 0 6y agoExplain → -
ts-project ⑂
A TypeScript project template for Aggie Coding Club students to get started with TypeScript.
Dockerfile ★ 0 6y agoExplain → -
yew ⑂
Rust framework for making client web apps
Rust ★ 0 8y agoExplain → -
ts-ast-viewer ⑂
TypeScript AST viewer.
TypeScript ★ 0 7y agoExplain → -
tsickle ⑂
Tsickle — TypeScript to Closure Translator
TypeScript ★ 0 7y agoExplain → -
embedme ⑂
Utility for embedding code snippets into markdown documents
TypeScript ★ 0 7y agoExplain → -
DefinitelyTyped ⑂
The repository for high quality TypeScript type definitions.
TypeScript ★ 0 7y agoExplain → -
neoformat ⑂
:sparkles: A (Neo)vim plugin for formatting code.
Vim script ★ 0 7y agoExplain → -
tree-sitter ⑂
An incremental parsing system for programming tools
Rust ★ 0 7y agoExplain → -
components ⑂
Component infrastructure and Material Design components for Angular
TypeScript ★ 0 7y agoExplain → -
crystal ⑂
The Crystal Programming Language
Crystal ★ 0 7y agoExplain → -
pw ⑂
Code that'll help you kickstart a personal website that showcases your work as a software developer.
CSS ★ 0 7y agoExplain → -
heroku-buildpack-cmake ⑂
Add CMake to your Heroku slug compilation process
Shell ★ 0 7y agoExplain → -
heroku-buildpack-git-submodule ⑂
🦆 Adding support for Git submodules to Heroku apps.
Shell ★ 0 7y agoExplain → -
heroku-buildpack-rust ⑂
A buildpack for Rust applications on Heroku, with full support for Rustup, cargo and build caching.
Shell ★ 0 7y agoExplain → -
awscr-s3 ⑂
A Crystal shard for S3.
Crystal ★ 0 8y agoExplain → -
critters ⑂
🦔 A Webpack plugin to inline your critical CSS and lazy-load the rest.
JavaScript ★ 0 8y agoExplain → -
ackermann_func ⑂
Ackermann Function with more languages
Java ★ 0 8y agoExplain → -
amp-letter.github.io ⑂
No description.
HTML ★ 0 8y agoExplain → -
cryptochecker ⑂
Compare selected cryptocurrencies in a clean, simple layout using the coinmarketcap.com API. Made using HTML, CSS, and JavaScript.
HTML ★ 0 8y agoExplain → -
gemoji-cr ⑂
Emoji images and names.
Ruby ★ 0 8y agoExplain → -
tufte-jekyll ⑂
Minimal Jekyll blog styled to resemble the look and layout of Edward Tufte's books
CSS ★ 0 9y agoExplain → -
Octave ⑂
Mirror of GNU Octave
C++ ★ 0 9y agoExplain → -
node ⑂
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
JavaScript ★ 0 8y agoExplain → -
VHF2017-website ⑂
VandyHacks 2017 website
Vue ★ 0 8y agoExplain → -
legacy-cc ⑂
The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.
C ★ 0 9y agoExplain →
No repos match these filters.