slightknack

slightknack's Stars

• agda/agda

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

  Language:Haskell2.5k364

• d4rkc0d3r/CompactSparseTextureDemo

  Small demo project showing how to compact sparse textures on GPUs efficiently in unity.

  Language:ShaderLab251

• zesterer/tao

  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

  Language:Rust1.1k23

• NVlabs/instant-ngp

  Instant neural graphics primitives: lightning fast NeRF and more

  Language:Cuda16.1k1.9k

• robert-strandh/SICL

  A fresh implementation of Common Lisp

  Language:TeX1.1k80

• cell-lang/compiler

  Cell compiler

  1142

• gyscos/zstd-rs

  A rust binding for the zstd compression library.

  Language:Rust531113

• open-goal/jak-project

  Reviving the language that brought us the Jak & Daxter Series

  Language:Common Lisp2.9k172

• mTvare6/hello-world.rs

  🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1247🚀) dependencies🚀

  Language:RenderScript3.4k4

• zed-industries/community

  Zed's official community

  Language:Python1.2k12

• irokaru/pixel-scaler

  Language:JavaScript18417

• siraben/fp-notes

  Notes on Functional Programming and related topics

  Language:Haskell301

• lapce/lapce

  Lightning-fast and Powerful Code Editor written in Rust

  Language:Rust34.8k1k

• blyssprivacy/sdk

  SDK for private data access, built on homomorphic encryption.

  Language:Rust33919

• atom/atom

  :atom: The hackable text editor

  Language:JavaScript60.3k17.4k

• mxgmn/MarkovJunior

  Probabilistic language based on pattern matching and constraint propagation, 153 examples

  Language:C#7.6k317

• NilsIrl/CS-NEA

  Language:TeX1

• a8bit/EightBit-Atari-Fonts

  Fonts generated from original bitmaps from Atari 8bit computers

  50525

• not-fl3/miniquad

  Cross platform rendering in Rust

  Language:Rust1.6k175

• rr-debugger/rr

  Record and Replay Framework

  Language:C++9.2k588

• Anjok07/ultimatevocalremovergui

  GUI for a Vocal Remover that uses Deep Neural Networks.

  Language:Python18.7k1.4k

• mitxela/kicad-round-tracks

  Language:Python69121

• peermaps/eyros

  interval database

  Language:Rust28815

• actualbudget/actual

  A local-first personal finance app

  Language:TypeScript16.1k1.2k

• seanmonstar/reqwest

  An easy and powerful Rust HTTP Client

  Language:Rust10.1k1.1k

• manifoldmarkets/manifold

  Manifold Markets: A market for every question

  Language:TypeScript425159

• JetBrains/JetBrainsMono

  JetBrains Mono – the free and open-source typeface for developers

  Language:Shell11.1k304

• stellar/rs-stellar-xdr

  Rust lib for Stellar XDR.

  Language:Rust2027

• mwerezak/sphinx-lang

  An intepreter for a simple dynamic language written in Rust

  Language:Rust29011

• odin-lang/Odin

  Odin Programming Language

  Language:Odin7.2k643