awkure

awkure's Stars

• plugdata-team/plugdata

  Pure Data as a plugin, with a new GUI

  Language:C1.4k3586660

• HackerPoet/FractalSoundExplorer

  Explore fractals in an audio-visual sandbox

  Language:C++1.1k2414132

• Hirrolot/metalang99

  Full-blown preprocessor metaprogramming

  Language:C827182324

• messense/homebrew-macos-cross-toolchains

  macOS cross compiler toolchains

  Language:Ruby823163459

• Copilot-Language/copilot

  A stream-based runtime-verification framework for generating hard real-time C code.

  Language:Haskell6183136149

• nikita-volkov/record

  Anonymous records

  Language:Haskell24521238

• Plutonomicon/plutonomicon

  Advanced techniques in the plutus smart contract language

  Language:Nix20123843

• caotic123/PomPom-Language

  The cuteness implementation of a dependently typed language.

  Language:Haskell187406

• spacejam/extreme

  extremely boring async function runner!

  Language:Rust150616

• adamgundry/type-inference

  Unification and type inference algorithms

  Language:Haskell122805

• HoTT-Intro/Agda

  Agda formalisation of the Introduction to Homotopy Type Theory

  Language:Agda1211105

• owo-lang/minitt-rs

  Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

  Language:Rust11310222

• tsoding/aoc-2020

  Advent of Code 2020 in 25 Different Languages

  Language:Julia109317

• conal/talk-2015-haskell-to-hardware

  From Haskell to Hardware via CCCs

  Language:TeX57902

• nikita-volkov/domain

  Focused domain model declaration toolkit for Haskell

  Language:Haskell47531

• well-typed/large-records

  Library to support efficient compilation of large records (linear in the number of record fields)

  Language:Haskell4383918

• masaeedu/nix-optics

  Language:Nix34421

• effectfully/inference-in-agda

  A tutorial on how Agda infers things

  Language:HTML31200

• effectfully/Generic

  A library for doing generic programming in Agda

  Language:Agda28574

• mlabs-haskell/bot-plutus-interface

  Unofficial PAB implementation

  Language:Haskell21145512

• effectfully/Cubes

  A dependently typed type checker for a TT with intervals

  Language:Agda20301

• m-yac/tt-in-cagda

  Simply typed lambda calculus in cubical agda

  Language:Agda19101

• omelkonian/formal-utxo

  Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.

  Language:Agda145173

• synrc/sample

  💧 SAMPLE: WebSocket Sample Application

  Language:Erlang9438

• Heimdell/LR

  LR(1) parser (and generator)

  Language:Haskell8314

• forked-from-1kasper/lean-vcpu

  Language:Lean5300

• aadaa-fgtaa/optionally

  Language:Haskell4100

• EvgenZhaba/fatum

  Поиск аттракторов и репеллеров случайно сгенерированных географических точек

  Language:Python3201

• Heimdell/descent

  An analog for `multiplate`

  Language:Haskell3200

• kana-sama/partial-case-plugin

  Language:Haskell120