typesAreSpaces

typesAreSpaces's Stars

• microsoft/vscode

  Visual Studio Code

  Language:TypeScript162k3.3k182k28.5k

• extrawurst/gitui

  Blazing 💥 fast terminal-ui for git written in rust 🦀

  Language:Rust18.2k92926552

• sorin-ionescu/prezto

  The configuration framework for Zsh

  Language:Shell13.9k2141k4.5k

• Speykious/cve-rs

  Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

  Language:Rust3.9k252795

• openworm/OpenWorm

  Repository for the main Dockerfile with the OpenWorm software stack and project-wide issues

  Language:Python2.6k163297206

• c3lang/c3c

  Compiler for the C3 language

  Language:C2.5k35608146

• SuperTux/supertux

  SuperTux source code

  Language:C++2.5k841.5k474

• altsem/gitu

  A TUI Git client inspired by Magit

  Language:Rust1.7k58989

• miraclx/freyr-js

  A tool for downloading songs from music streaming services like Spotify and Apple Music.

  Language:JavaScript1.5k2623094

• overleaf/toolkit

  Language:Shell54825123135

• ProofGeneral/PG

  This repo is the new home of Proof General

  Language:Emacs Lisp4881452886

• fjwillemsen/NativeOverleaf

  Next-level academia! Repository for the Native Overleaf project, attempting to integrate Overleaf with native OS features for macOS, Linux and Windows.

  Language:JavaScript37373218

• mclear-tools/tabspaces

  Language:Emacs Lisp22364614

• rzk-lang/rzk

  An experimental proof assistant based on a type theory for synthetic ∞-categories.

  Language:Haskell2029828

• henrik/vim-indexed-search

  Show "Match 123 of 456 /search term/" in Vim searches. By Yakov Lerner.

  Language:Vim Script18681121

• hacspec/hax

  A Rust verification tool

  Language:OCaml173842618

• ncatlab/nlab

  Source code for the nLab

  Language:Ruby13762015

• mikeshulman/narya

  A proof assistant for higher-dimensional type theory

  Language:OCaml1361647

• farmergreg/kinesis-advantage-2

  Keyboard layouts and macros for the Kinesis Advantage 2 keyboard.

  876119

• armindarvish/consult-mu

  Consult Mu4e asynchronously in GNU Emacs

  Language:Emacs Lisp45331

• wangjie212/TSSOS

  A sparse polynomial optimization tool based on the moment-SOS hierarchy.

  Language:Julia372913

• Logoi-Linguistics/Logoi-Linguistics

  Source repository for the Logoi natural programming language & hyperextensible text editor.

  Language:HTML26

• tjdiamandis/Chordal.jl

  Language:Julia24420

• zanzix/idris-neural-net

  An implementation of a simple Neural network in Idris using category theory.

  Language:Idris22300

• LocalCharts/silviculture

  Language:JavaScript15541

• ConcreteCactus/lcc

  A compiler that translates a form of lambda calculus to C

  Language:Haskell1230

• franklindyer/agora-app

  Simple and (hopefully) secure social media application. Also a project for spring 2024 CS 444 cybersecurity class at UNM.

  Language:Python43411

• iblech/constructive-maximal-ideals

  Reifying dynamical algebra: maximal ideals in countable rings, constructively

  Language:TeX4200

• ArthurRouquan/LexBFS

  Implementation of the Lexicographic Breadth-First Search in linear time O(n + m).

  Language:C++3101

• hanwenguo/org-forester

  create your forest in org-mode

  Language:Emacs Lisp30