oneofvalts

oneofvalts's Stars

• sympy/sympy

  A computer algebra system written in pure Python

  Language:Python13.2k29313.4k4.5k

• xoreaxeaxeax/movfuscator

  The single instruction C compiler

  Language:C9.6k20740399

• org-roam/org-roam

  Rudimentary Roam replica with Org-mode

  Language:Emacs Lisp5.6k981.3k482

• ledger/ledger

  Double-entry accounting system with a command-line reporting interface

  Language:C++5.4k1111.6k513

• jwiegley/use-package

  A use-package declaration for simplifying your .emacs

  Language:Emacs Lisp4.4k94738261

• openbsd/src

  Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.

  Language:C3.3k1720875

• geohot/corona

  Reverse engineering SARS-CoV-2

  Language:Python2.5k16935475

• ueokande/vim-vixen

  Accelerates your web browsing with Vim power!!

  Language:TypeScript2.1k41560137

• Battelle/movfuscator

  The single instruction C compiler

  Language:C1.3k320489

• bastibe/org-journal

  A simple org-mode based journaling mode

  Language:Emacs Lisp1.3k30333123

• jwiegley/category-theory

  An axiom-free formalization of category theory in Coq for personal study and practical work

  Language:Coq761201971

• achlipala/frap

  Formal Reasoning About Programs

  Language:Coq678452786

• sympy/sympy_gamma

  A SymPy version of WolframAlpha.

  Language:Python67749109113

• org-roam/org-roam-server

  A Web Application to Visualize the Org-Roam Database

  Language:HTML6392813651

• math-comp/math-comp

  Mathematical Components

  Language:Coq59733341117

• dfeich/org-babel-examples

  Examples using emacs org mode babel inline source code with different backend languages

  Language:TeX579307117

• nrnrnr/noweb

  The noweb tool for literate programming

  Language:TeX260192728

• sourcehold/Sourcehold

  Open source re-implementation of Stronghold 1

  Language:C++255194923

• brennier/quicktex

  A vim plugin for writing Latex quickly.

  Language:Vim Script11782617

• geohot/twitchcoq

  It's a poorly named metamath verifier

  Language:Prolog10815119

• rezgui/fpos

  Free Pascal Operating System (FPOS) is a operating system consists of a minimal kernel built on FreePascal. It contains a Scheme implementation of a hard drive (ATA) driver, keyboard (PS2), serial (8250 UART), FAT32 filesystem and a small real time clock manager. The project was built to experiment with developement of operating system using a high level functional language to study the developement process and the use of Scheme to build a fairly complex system.

  Language:Pascal86121918

• coq-community/goedel

  Archived since the contents have been moved to the Hydras & Co. repository

  Language:Coq28745

• Battelle/vimmmex

  The vim execution engine

  255014

• iowar/poloniex

  Poloniex API in Go

  Language:Go155219

• nrnrnr/noweb3

  Noweb, a simple literate-programming tool: the never-released, alpha, Lua-based version

  Language:C10402

• iowar/hitbtc

  HitBtc API in Go

  Language:Go7102

• iowar/bitmapfilter

  Bitmap Filter Implementation

  Language:Python6100

• ibrahimsag/stlao-track

  Check signal traces for formulas written in a custom Temporal Logic with Arithmetic Operations

  Language:Haskell5200

• iowar/throttle

  Golang dynamic throttle

  Language:Go2100

• iowar/tbot

  Telegram Bot Server

  Language:Go1000