typesanitizer

typesanitizer's Stars

• akutz/go-generics-the-hard-way

  A hands-on approach to getting started with Go generics.

  Language:Go1.8k108

• rrthomas/pdfjam

  The pdfjam package for manipulating PDF files

  Language:Shell37127

• goblindegook/littlefoot

  Footnotes without the footprint.

  Language:TypeScript22618

• mgaudet/CompilerJobs

  A listing of compiler, language and runtime teams for people looking for jobs in this area

  Language:HTML49762

• romkatv/gitstatus

  Git status for Bash and Zsh prompt

  Language:C++1.7k104

• so-fancy/diff-so-fancy

  Good-lookin' diffs. Actually… nah… The best-lookin' diffs. :tada:

  Language:Perl17.3k330

• Daniel-Liu-c0deb0t/uwu

  fastest text uwuifier in the west

  Language:Rust1.4k41

• gelisam/klister

  an implementation of stuck macros

  Language:Haskell12911

• tummychow/git-absorb

  git commit --fixup, but automatic

  Language:Rust4.3k63

• wolfpld/tracy

  Frame profiler

  Language:C++9.8k655

• WeAllJS/weallbehave

  CODE_OF_CONDUCT.md generator

  Language:JavaScript19221

• michaelmior/zotero-remarkable

  Sync papers from Zotero to a reMarkable tablet

  Language:PHP16010

• uwdata/visualization-curriculum

  A data visualization curriculum of interactive notebooks.

  Language:Jupyter Notebook1.3k259

• revery-ui/revery

  :zap: Native, high-performance, cross-platform desktop apps - built with Reason!

  Language:Reason8.1k196

• mirth-lang/mirth

  Compiler for the Mirth programming language.

  Language:C44514

• typeclasses/haskell-report-archive

  A collection of old versions of the Haskell Report

  Language:HTML9

• rust-lang/cc-rs

  Rust library for build scripts to compile C/C++ code into a Rust library

  Language:Rust1.8k440

• watchexec/cargo-watch

  Watches over your Cargo project's source. —— Maintenance status: on hold. I have no time for OSS currently; back late 2024.

  Language:Rust2.7k79

• impress/impress.js

  It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.

  Language:JavaScript37.6k6.7k

• sozi-projects/Sozi

  A "zooming" presentation editor

  Language:JavaScript1.6k164

• stepchowfun/proofs

  My personal repository of formally verified mathematics.

  Language:Coq29012

• haskell/haskell-ide-engine

  The engine for haskell ide-integration. Not an IDE

  Language:Haskell2.4k211

• lm-language/lmc

  Compiler for the LM language

  Language:Scala2

• iu-parfunc/gibbon

  A compiler for functional programs on serialized data

  Language:C15713

• nuprl/hopl-s2017

  History of Programming Languages, Spring 2017

  Language:TeX1279

• yallop/effects-bibliography

  A collaborative bibliography of work related to the theory and practice of computational effects

  95180

• phadej/bound-extras

  ScopeT and ScopeH

  Language:Haskell13

• quchen/articles

  Miscellaneous articles. The readme is the table of contents.

  Language:Haskell1.2k92

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.2k1.5k

• kythe/kythe

  Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.

  Language:C++1.9k249