Olius

Olius's Stars

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust32.8k877

• k4zmu2a/SpaceCadetPinball

  Decompilation of 3D Pinball for Windows – Space Cadet

  Language:C++3.4k209

• flipcoder/textbeat

  🎹 plaintext music sequencer and midi shell, with vim playback and the powers of music theory 🥁

  Language:Python40213

• vlang/v

  Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

  Language:V35.7k2.2k

• sdmg15/Best-websites-a-programmer-should-visit

  :link: Some useful websites for programmers.

  61.1k7.7k

• aligrudi/neatvi

  A small vi/ex editor for editing UTF-8 text

  Language:C30525

• lichray/nvi2

  A multibyte fork of the nvi editor for BSD

  Language:C14434

• ellakummer/KDD-CUP-of-Fresh-Air-Project

  13X011 - UNIGE

  Language:Python1

• latex3/latex3

  The expl3 (LaTeX3) Development Repository

  Language:TeX1.9k184

• mlochbaum/ILanguage

  An interpreter for a J-inspired language

  Language:C886

• yishn/tikzcd-editor

  A simple visual editor for creating commutative diagrams.

  Language:JavaScript1.9k99

• PrincetonUniversity/VST

  Verified Software Toolchain

  Language:Coq43692

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k345

• tssm/up-to-date-real-world-haskell

  I'm trying to update the Real World Haskell book

  Language:Python79247