zaimoni

zaimoni's Stars

• carbon-language/carbon-lang

  Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

  Language:C++33.4k3657491.5k

• hsutter/cppfront

  A personal experimental C++ Syntax 2 -> Syntax 1 compiler

  Language:C++5.8k111772264

• google/orbit

  C/C++ Performance Profiler

  Language:C++4.3k84215359

• simongog/sdsl-lite

  Succinct Data Structure Library 2.0

  Language:C++2.3k110203352

• lvandeve/lodepng

  PNG encoder and decoder in C and C++.

  Language:C++2.2k74131452

• marbl/CHM13

  The complete sequence of a human genome

  99763104100

• jk-jeon/dragonbox

  Reference implementation of Dragonbox in C++

  Language:C++777225051

• graydon/rust-prehistory

  historical archive of rust pre-publication development

  Language:C69712041

• GaloisInc/saw-script

  The SAW scripting language.

  Language:Haskell478331.4k77

• celtera/avendish

  declarative polyamorous cross-system intermedia objects

  Language:C++455204914

• agda/agda-categories

  A new Categories library for Agda

  Language:Agda3902315973

• nadavrot/memset_benchmark

  This repository contains high-performance implementations of memset and memcpy in assembly.

  Language:Assembly33611517

• soasis/text

  A spicy text library for C++ that has the explicit goal of enabling the entire ecosystem to share in proper forward progress towards a bright Unicode future.

  Language:C++334142828

• wannier-developers/wannier90

  Official repository of the Wannier90 code

  Language:Fortran28921253159

• math-comp/analysis

  Mathematical Components compliant Analysis Library

  Language:Rocq Prover2291545363

• mstksg/auto

  Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto

  Language:Haskell18215811

• cmuparlay/concurrent_deferred_rc

  Concurrent Deferred Reference Counting

  Language:C++16919412

• ucsd-progsys/liquid-fixpoint

  Horn Clause Constraint Solving for Liquid Types

  Language:Haskell155916464

• Exawind/amr-wind

  AMReX-based structured wind solver

  Language:C++15216305101

• IDNI/TML

  Tau Meta-Language

  Language:C++12335928

• thindil/steamsky

  Mirror of a roguelike in sky with a steampunk setting

  Language:Nim1009868

• codeinred/recursive-variant

  Recursive Variant: A simple library for Recursive Variant Types

  Language:C++90347

• prolog/shadow-of-the-wyrm

  Traditional roguelike game in the spirit of ADOM and Omega.

  Language:C++86578

• ghostganz/madeleine

  Transparent object persistence for Ruby

  Language:Ruby76604

• paradoxxxzero/annealation

  Gravitational N-Body simulation rendering with three.js

  Language:Rust43512

• alx71hub/hcb

  Hyperlinked C++ BNF Grammar

  Language:HTML424127

• dougrich/conscripter

  Static site that generates functional open type font files for conlang scripts from SVG using substitution

  Language:JavaScript173254

• NickMcConnell/Beleriand

  Vapourware open world Middle-Earth death simulator

  Language:C16701

• Zylatis/turnstiles

  Seamless file rotation for logs

  Language:Rust7380

• perim/libdicey

  A simple and efficient deterministic integer math and pseudo-random roll library.

  Language:C++5200