ysthakur

ysthakur's Stars

• epfl-lara/ScalaZ3

  DSL in Scala for Constraint Solving with Z3 SMT Solver

  Language:Scala12133

• zauberzeug/nicegui

  Create web-based user interfaces with Python. The nice way.

  Language:Python8.3k497

• kellyjonbrazil/jc

  CLI tool and python library that converts the output of popular command-line tools, file-types, and common strings to JSON, YAML, or Dictionaries. This allows piping of output to tools like jq and simplifying automation scripts.

  Language:Python7.7k196

• yaml/pyyaml

  Canonical source repository for PyYAML

  Language:Python2.5k509

• sharkdp/vivid

  A themeable LS_COLORS generator with a rich filetype datebase

  Language:Rust1.7k84

• Kraks/diamond-lang

  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

  Language:Scala371

• ChrisBuilds/terminaltexteffects

  TerminalTextEffects (TTE) is a terminal visual effects engine, application, and Python library.

  Language:Python2.6k41

• Ravenbrook/mps

  The Memory Pool System

  Language:C55072

• attempt-this-online/attempt-this-online

  Try It Online clone: online sandbox environment for testing code in a variety of languages

  Language:TypeScript4917

• jsr-io/jsr

  The open-source package registry for modern JavaScript and TypeScript

  Language:Rust2.2k99

• microsoft/sudo

  It's sudo, for Windows

  Language:Rust4.8k125

• helix-editor/nucleo

  A fast and convenient fuzzy matcher library for rust

  Language:Rust77626

• orlp/slotmap

  Slotmap data structure for Rust

  Language:Rust1.1k70

• sparverius/ats-acc

  Pretty-print error messages of the ATS Compiler

  Language:ATS312

• vmchale/polyglot

  Tool to count lines of source code.

  Language:ATS2466

• ponylang/ponyc

  Pony is an open-source, actor-model, capabilities-secure, high performance programming language

  Language:C5.7k411

• jwshii/etna

  Language:Coq105

• epfl-lara/stainless

  Verification framework and tool for higher-order Scala programs

  Language:HTML34950

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.3k390

• matslina/awib

  a brainfuck compiler written in brainfuck

  Language:Brainfuck52314

• verus-lang/verus

  Verified Rust for low-level systems code

  Language:Rust1.1k58

• jfecher/ante

  A safe, easy systems language

  Language:Rust1.9k78

• omgovich/react-colorful

  🎨 A tiny (2,8 KB) color picker component for React and Preact apps

  Language:TypeScript3.1k99

• transmission/transmission

  Official Transmission BitTorrent client repository

  Language:C++11.8k1.2k

• uiwjs/react-color

  🎨 Is a tiny color picker widget component for React apps.

  Language:TypeScript24585

• tqdm/tqdm

  :zap: A Fast, Extensible Progress Bar for Python and CLI

  Language:Python28k1.3k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10k1.5k

• cospplredman/gosix

  golfed posix (utilities)

  Language:C21

• dandavison/delta

  A syntax-highlighting pager for git, diff, grep, and blame output

  Language:Rust21.5k361

• lmorg/murex

  A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooling)

  Language:Go1.4k29