EclecticGriffin

EclecticGriffin's Stars

• typst/typst

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

  Language:Rust36k992.8k967

• lapce/lapce

  Lightning-fast and Powerful Code Editor written in Rust

  Language:Rust34.8k1861.9k1k

• rupa/z

  z - jump around

  Language:Shell16.4k1692341.2k

• drduh/YubiKey-Guide

  Guide to using YubiKey for GnuPG and SSH

  Language:HTML11.3k2202391.2k

• aalhour/awesome-compilers

  :sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

  9k29429651

• microsoft/verona

  Research programming language for concurrent ownership

  Language:C++3.6k109165167

• sdiehl/write-you-a-haskell

  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

  Language:Haskell3.4k19150255

• google/argh

  Rust derive-based argument parsing optimized for code size

  Language:Rust1.7k1310186

• ddvk/remarkable-hacks

  additional functionality via binary patching

  Language:Shell1.7k13150582

• egraphs-good/egg

  egg is a flexible, high-performance e-graph library

  Language:Rust1.4k24140138

• ogxd/gxhash

  The fastest hashing algorithm 📈

  Language:Rust81084527

• sampsyo/cs6120

  advanced compilers

  Language:HTML76722124159

• toltec-dev/toltec

  Community-maintained repository of free software for the reMarkable tablet.

  Language:Shell7652223760

• chinasatokolo/csGraduateFellowships

  A curated list of fellowships for graduate students in Computer Science and related fields.

  56131261

• calyxir/calyx

  Intermediate Language (IL) for Hardware Accelerator Generators

  Language:Rust5032283251

• intel/rohd

  The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.

  Language:Dart3771524968

• isaacwisdom/RemarkableLamyEraser

  Turns the button on the Lamy Pen EMR into an eraser on the reMarkable.

  Language:C286204734

• Others/shredder

  Garbage collected smart pointers for Rust

  Language:Rust2667549

• pangenome/odgi

  Optimized Dynamic Genome/Graph Implementation: understanding pangenome graphs

  Language:C++1981314941

• p4lang/p4-spec

  Language:TeX1786768480

• jeanqasaur/women-in-programming-languages-research

  Women in Programming Languages and Software Engineering Research

  1689269

• sztomi/dap-rs

  A Rust implementation of the Debug Adapter Protocol

  Language:Rust5051211

• cucapra/pollen

  generating hardware accelerators for pangenomic graph queries

  Language:Rust344522

• rachitnigam/runt

  A lighweight and parallel snapshot testing framework in rust

  Language:Rust314151

• ancile-project/ancile

  Implementing use-based privacy for ubiquitous computing.

  Language:Python1710107

• openspace42/inception

  The definitive First Boot Setup script for Debian / Ubuntu / etc...

  Language:Shell11323

• cornell-pl/pl.cs.cornell.edu

  Website for PL@Cornell

  Language:HTML817419

• ekiwi/baa

  BitVector and Array Arithmetic library

  Language:Rust620

• cucapra/calyx-hypothesis-test

  Language:Python160

• sampsyo/samizdat

  just a numerical data converter

  Language:Rust130