soraismus Goto Github PK

absal-ex

Absal ex

abstract-algorithm

Optimal evaluator of λ-calculus terms.

abstract-calculus

A programming language and model of computation that matches the abstract algorithm perfectly.

alacarte-idris

Data Types a la Carte in Idris

apart

Get all your structure and rip it apart 🔪

apotheka

arrow

Functional companion to Kotlin's Standard Library

articles

Miscellaneous articles. The readme is the table of contents.

arxiv-sanity-preserver

Web interface for browsing, search and filtering recent arxiv submissions

aspen-chess

athame

Full vim for your shell (bash, zsh, gdb, python, etc)

auth-adt

Authenticated Data Structures Generically

auto-examples

Example projects using the auto library.

awesome-decentralized-web

an awesome list of decentralized services and technologies

awesome-recursion-schemes

Resources for learning and using recursion schemes.

backprop

Heterogeneous automatic differentiation ("backpropagation") in Haskell

bash-completion

Programmable completion functions for bash

bash-config

bashmarks

Directory bookmarks for the shell

bert

TensorFlow code and pre-trained models for BERT

bewl

A DSL for the internal language of a topos

bidirectional-impl

Implementation of Bidirectional Type Class Instances

biwascheme

Scheme interpreter written in JavaScript

blodwen

A prototype successor to Idris

bookmarks

build-linux

A short tutorial about building Linux based operating systems.

capability

Extensional capabilities and deriving combinators

category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

catlog

Categorical logic from a categorical point of view

cats-effect

The IO monad for Scala