strake

strake's Stars

• awesome-selfhosted/awesome-selfhosted

  A list of Free Software network services and web applications which can be hosted on your own servers

  205k2.6k8039.8k

• browsh-org/browsh

  A fully-modern text-based browser, rendering to TTY and browsers

  Language:JavaScript17.1k183412419

• vosen/ZLUDA

  CUDA on non-NVIDIA GPUs

  Language:Rust9.8k134178647

• kognise/arpchat

  Answering the question nobody asked: what if you wanted to text your friends using only ARP?

  Language:Rust2.5k191850

• revng/revng

  revng: the core repository of the rev.ng project

  Language:C++1.3k26110101

• DadSchoorse/vkBasalt

  a vulkan post processing layer for linux

  Language:C++1.3k2517752

• HomeworldSDL/HomeworldSDL

  Language:C1249921

• HoTT-Intro/Agda

  Agda formalisation of the Introduction to Homotopy Type Theory

  Language:Agda1231105

• alhassy/gentle-intro-to-reflection

  A slow-paced introduction to reflection in Agda. ---Tactics!

  Language:Agda96609

• algebraic-graphs/agda

  The theory of algebraic graphs formalised in Agda

  Language:Agda87506

• jaseg/Model-M

  cad files for model M keyboard key caps

  8612015

• alhassy/next-700-module-systems

  PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

  Language:HTML819376

• clark800/lambda-zero

  minimalist pure lazy functional programming language (pythonic haskell)

  Language:C76655

• gallais/generic-syntax

  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

  Language:Agda706211

• rampion/constraint-unions

  A syntax for unions of constraints in Haskell

  Language:Vim Script70518

• oswald2/AURIS

  A new, open source mission control system in Haskell

  Language:C556369

• mini-box/ups

  Linux Status and Configuration application for Mini-Box.com Open UPS, Open UPS 2 and NUC UPS

  Language:C++477168

• sweirich/replib

  Replib: generic programming & Unbound: generic treatment of binders

  Language:Coq4494112

• redneb/ghc-alt-libc

  GHC compiled against musl & uClibc

  403142

• matt-noonan/gdp-paper

  Ghosts of Departed Proofs

  Language:SMT39302

• ice1000/agda-mode

  Accessing Agda's interaction mode via command line & external tactic for Agda.

  Language:Rust26534

• wenkokke/msla2014

  wherein I implement several substructural logics in Agda

  Language:Agda24602

• ossobuffo/jura

  Jura font: http://danieljohnson.name/fonts/jura

  Language:HTML17398

• gergoerdi/universe-of-syntax

  A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

  Language:Agda1650

• jozefg/cooked-pi

  What if we built the same frustrating type checker over and over again? For science.

  Language:Haskell8411

• jozefg/modal

  Modal logic in Haskell through Static Pointers

  Language:Haskell840

• jkoppel/mandate

  Automatically deriving control-flow graph generators from operational semantics

  Language:Haskell7200

• kpreid/3dp-3-axis-coil

  This is a 3d-printable supporting frame for three perpendicular electromagnetic coils as a handheld probe.

  Language:OpenSCAD4301

• mythril-forge/homebrew-spells

  :sparkles: A repository of all the spells from D&D that could possibly be tweaked and twanged. Stored in markdown.

  4422

• benrbray/type-safari

  An interactive tour of type inference algorithms, powered by `ghc-wasm-meta`.

  Language:JavaScript311