miclill

miclill's Stars

• junegunn/fzf

  :cherry_blossom: A command-line fuzzy finder

  Language:Go66.6k3962.8k2.4k

• HigherOrderCO/Bend

  A massively parallel, high-level programming language

  Language:Rust17.8k99262438

• LMAX-Exchange/disruptor

  High Performance Inter-Thread Messaging Library

  Language:Java17.6k1.2k3153.9k

• quickemu-project/quickemu

  Quickly create and run optimised Windows, macOS and Linux virtual machines

  Language:Shell11.1k82603482

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.6k104189410

• Tencent/libco

  libco is a coroutine library which is widely used in wechat back-end service. It has been running on tens of thousands of machines since 2013.

  Language:C++8.4k4821492.1k

• BLAKE3-team/BLAKE3

  the official Rust and C implementations of the BLAKE3 cryptographic hash function

  Language:Assembly5.3k78245357

• roc-lang/roc

  A fast, friendly, functional language.

  Language:Rust4.6k1072.7k319

• hnes/libaco

  A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞

  Language:C3.5k13842395

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k802.8k265

• ashvardanian/StringZilla

  Up to 10x faster strings for C, C++, Python, Rust, and Swift, leveraging NEON, AVX2, AVX-512, and SWAR to accelerate search, sort, edit distances, alignment scores, etc 🦖

  Language:C++2.3k278682

• tezc/sc

  Common libraries and data structures for C.

  Language:C2.3k4316247

• gramps-project/gramps

  Source code for Gramps Genealogical program

  Language:Python2.2k1090424

• Storyyeller/Krakatau

  Java decompiler, assembler, and disassembler

  Language:Rust2k96182223

• titzer/virgil

  A fast and lightweight native programming language

  Language:Shell1.2k218852

• scala/scala-async

  An asynchronous programming facility for Scala

  Language:Scala1.2k568890

• speced/bikeshed

  :bike: A preprocessor for anyone writing specifications that converts source files into actual specs.

  Language:HTML1.1k231.6k201

• yallop/effects-bibliography

  A collaborative bibliography of work related to the theory and practice of computational effects

  98563486

• fused-effects/fused-effects

  A fast, flexible, fused effect system for Haskell

  Language:Haskell6492317652

• agda/agda-stdlib

  The Agda standard library

  Language:Agda590291k241

• riot-ml/riot

  An actor-model multi-core scheduler for OCaml 5 🐫

  Language:OCaml589123936

• boogie-org/boogie

  Boogie

  Language:Boogie51630273112

• soegaard/urlang

  Urlang is JavaScript with a sane syntax

  Language:Racket303153016

• codereport/Content

  Links, slide decks and other material for conference & meetup talks, podcast appearances and publications.

  Language:C++21320618

• webyrd/miniKanren-with-symbolic-constraints

  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

  Language:Scheme16013122

• koka-lang/libmprompt

  Robust multi-prompt delimited control and effect handlers in C/C++

  Language:C1146712

• tokiwa-software/fuzion

  The Fuzion Language Implementation

  Language:Java5031.4k11

• WeAreFairphone/android_device_fairphone_FP4

  Language:Shell482874

• davidfstr/idris-insertion-sort

  Provably correct implementation of insertion sort in Idris.

  Language:Idris28314

• sepp2k/antlr4-string-interpolation-examples

  Examples of how to implement string interpolation in ANTLR4

  Language:ANTLR7100