qznc

qznc's Stars

• uutils/coreutils

  Cross-platform Rust rewrite of the GNU coreutils

  Language:Rust17k1971.5k1.2k

• signalapp/Signal-Desktop

  A private messenger for Windows, macOS, and Linux.

  Language:TypeScript14.1k4245.7k2.6k

• cksystemsteaching/selfie

  An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

  Language:Jupyter Notebook2.4k6191313

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.8k64277221

• eBay/tsv-utils

  eBay's TSV Utilities: Command line tools for large, tabular data files. Filtering, statistics, sampling, joins and more.

  Language:D1.4k384680

• igor-petruk/scriptisto

  A language-agnostic "shebang interpreter" that enables you to write scripts in compiled languages.

  Language:Rust868123628

• martanne/abduco

  abduco provides session management i.e. it allows programs to be run independently from its controlling terminal. That is programs can be detached - run in the background - and then later reattached. Together with dvtm it provides a simpler and cleaner alternative to tmux or screen.

  Language:C728264752

• dlang/dub

  Package and build management system for D

  Language:D660651.5k227

• entropia/tip-toi-reveng

  Trying to understand the file format of Tip Toi

  Language:Haskell63877155122

• D-Programming-GDC/gdc

  GNU D Compiler

  Language:D35938052

• Kha/electrolysis

  Simple verification of Rust programs via functional purification in Lean 2(!)

  Language:Lean3281446

• dlang-community/D-Scanner

  Swiss-army knife for D source code

  Language:D2372050180

• dlang-community/dfmt

  Dfmt is a formatter for D source code

  Language:D2012038545

• ikod/dlang-requests

  dlang http client library inspired by python-requests

  Language:D154813032

• liqd/adhocracy

  Adhocracy is a policy drafting and decision making software for distributed groups and open institutions.

  Language:Python1504846637

• Syntaf/travis-sphinx

  A standalone script for automated building and deploying of sphinx docs via travis-ci

  Language:Python11382520

• buggins/hibernated

  HibernateD is ORM for D language (similar to Hibernate)

  Language:D82145831

• cfengine/design-center

  CFEngine community-contributed content

  Language:Perl803411369

• dlang-community/dfix

  Tool for automatically upgrading D source code

  Language:D44163811

• s-ludwig/dlibgit

  D wrapper library around libgit2

  Language:D3110024

• openpredictionmarkets/socialpredict

  Easy to Deploy Prediction Market Platform

  Language:JavaScript2951093

• colinmorris/tour-of-heroes

  some crummy incremental game made with angular 2

  Language:TypeScript233218

• Will-Howard/manifolio

  Bet sizing tool for manifold markets

  Language:TypeScript151

• michal-h21/rdfref

  Cross-referencing system for LaTeX, inspired with RDF

  Language:Lua13472

• chingjun/rustybox

  Rustybox is something like busybox, but written in Rust language.

  Language:Rust113

• abbbi/mifare

  mifare m302 rfid card reader playground

  Language:Python9409

• particleKIT/dokuKIT

  Dokuwiki template with the OLD KIT corporate Design: DEPRECATED.

  Language:CSS4360

• samueldg/err-rando

  🎲 Err bot with useful random functionalities

  Language:Python31

• mohrm/umklapp_site

  Language:Python23

• namboy94/octorust

  A program for compiling invasive rust applications

  Language:Rust10