alinab

alinab's Stars

• microsoft/pyright

  Static Type Checker for Python

  Language:Python13.3k1246.3k1.5k

• puremourning/vimspector

  vimspector - A multi-language debugging system for Vim

  Language:Vim Script4.1k38328173

• rust-lang/rust.vim

  Vim configuration for Rust.

  Language:Vim Script3.9k43284297

• liuchengxu/vim-which-key

  :tulip: Vim plugin that shows keybindings in popup

  Language:Vim Script1.9k1617466

• rust-lang/polonius

  Defines the Rust borrow checker.

  Language:Rust1.3k665174

• quchen/articles

  Miscellaneous articles. The readme is the table of contents.

  Language:Haskell1.3k762893

• ndmitchell/ghcid

  Very low feature GHCi based IDE

  Language:Haskell1.1k22289113

• pcapriotti/optparse-applicative

  Applicative option parser

  Language:Haskell91219290116

• ocaml-multicore/ocaml-multicore

  Multicore OCaml

  Language:OCaml7635731968

• Wren6991/Hazard3

  3-stage RV32IMACZb* processor with debug

  Language:Verilog696191447

• fniessen/emacs-leuven-theme

  This Emacs theme reduces eye strain with a light, high-contrast color scheme, syntax highlighting, and support for multiple modes. Enhance your coding experience! #emacs #theme #coding #orgmode

  Language:Emacs Lisp695208159

• ystael/chicago-ug-math-bib

  Chicago undergraduate mathematics bibliography

  Language:HTML68933559

• neovimhaskell/haskell-vim

  Custom Haskell Vimscripts

  Language:Vim script681139584

• math-comp/math-comp

  Mathematical Components

  Language:Coq58332331113

• agda/agda-stdlib

  The Agda standard library

  Language:Agda581291k237

• ziglang/zig.vim

  Vim configuration for Zig

  Language:Vim Script463134058

• oneKelvinSmith/monokai-emacs

  Monokai for Emacs is a port of the popular TextMate theme Monokai by Wimer Hazenberg.

  Language:Emacs Lisp4602070119

• ziglang/zig-bootstrap

  take off every zig

  Language:C3811912591

• espressif/esp-dev-kits

  Docs, Schematics, Factory Firmwares for ESP Development Kits

  Language:C3622997182

• mrkkrp/req

  An HTTP client library

  Language:Haskell33887440

• mkirchner/hamt

  A hash array-mapped trie implementation in C

  Language:C281597

• SMLFamily/Successor-ML

  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

  Language:TeX192554410

• rossberg/hamlet

  SML reference interpreter

  Language:Standard ML1119415

• haskell-perf/dictionaries

  Benchmarks for dictionary data structures: hash tables, maps, tries, etc.

  Language:Haskell957711

• avigad/lamr

  Logic and Mechanized Reasoning

  Language:Lean839521

• fluentpython/book-site

  Companion Web site for Fluent Python, Second Edition

  Language:Python786913

• ocharles/logging-effect

  A very general logging effect for Haskell

  Language:Haskell6031820

• philzook58/knuckledragger

  Semi-Automated Python Proof Assistant

  Language:Python53502

• well-typed/falsify

  Language:Haskell378195

• mspertus/TAPL

  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles

  Language:OCaml34229