asmodehn

asmodehn's Stars

• keras-team/keras

  Deep Learning for humans

  Language:Python62.3k1.9k12.3k19.5k

• alacritty/alacritty

  A cross-platform, OpenGL terminal emulator.

  Language:Rust57.1k4505.9k3k

• cfenollosa/os-tutorial

  How to create an OS from scratch

  Language:C27.6k7961763.3k

• sharkdp/hyperfine

  A command-line benchmarking tool

  Language:Rust23.4k95255376

• RustPython/RustPython

  A Python Interpreter written in Rust

  Language:Rust19.4k1691.1k1.3k

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix18.6k27543.5k14.5k

• NixOS/nix

  Nix, the purely functional package manager

  Language:C++13.2k1176.3k1.6k

• nelhage/reptyr

  Reparent a running program to a new terminal

  Language:C5.9k9669216

• hylang/hy

  A dialect of Lisp that's embedded in Python

  Language:Python5.2k1181.1k372

• qtile/qtile

  :cookie: A full-featured, hackable tiling window manager written and configured in Python (X11 + Wayland)

  Language:Python4.9k952.1k701

• rusterlium/rustler

  Safe Rust bridge for creating Erlang NIF functions

  Language:Rust4.4k78249226

• HigherOrderCO/Kind

  A modern proof language

  Language:Haskell3.6k74216142

• bpython/bpython

  bpython - A fancy curses interface to the Python interactive interpreter

  Language:Python2.7k47801240

• mitogen-hq/mitogen

  Distributed self-replicating programs in Python

  Language:Python2.4k41556199

• pypyjs/pypyjs

  PyPy compiled to JavaScript

  Language:Python1.9k64172117

• Yelp/undebt

  A fast, straightforward, reliable tool for performing massive, automated code refactoring

  Language:Python1.6k342664

• VictorTaelin/Interaction-Calculus

  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

  Language:Rust77740855

• anholt/libepoxy

  Epoxy is a library for handling OpenGL function pointer management for you

  Language:C68142154161

• etnbrd/awesome-freelance-fr

  :sunglasses: Curated list of awesome tools to build your freelance career (in france)

  66129567

• asottile/git-code-debt

  A dashboard for monitoring code debt in a git repository.

  Language:Python585213734

• mortberg/cubicaltt

  Experimental implementation of Cubical Type Theory

  Language:Haskell571456176

• python-constraint/python-constraint

  Constraint Solving Problem resolver for Python

  Language:Python445175465

• kragen/stoneknifeforth

  a tiny self-hosted Forth implementation

  Language:Forth42125522

• deadpixi/contracts

  An implementation of contracts for Python.

  Language:Python345151418

• dominiktraxl/pykrakenapi

  A python implementation of the Kraken API.

  Language:Python225136155

• VictorTaelin/Cedille-Core

  A minimal proof language.

  Language:JavaScript20420212

• d-cook/SomethingNew

  Collaboration for reinventing software in human terms

  171673310

• zertrin/clikraken

  Command-line client for the Kraken exchange

  Language:Python74102521

• progval/pythonvm-rust

  An incomplete stackless interpreter of Python bytecode, written in Rust.

  Language:Rust7310210

• fkromer/hypothesis-ros

  Data generators for Property Based Testing and Fuzzy Testing of ROS1 nodes.

  Language:Python155574