silky Goto Github PK

agda-generic-parallel

Generic parallel algorithms in Agda

agda-hardware

Denotational hardware design in Agda

agda-machines

Denotational-categorical design of verified hardware in Agda

agda-metric-reals

agda-ring-solver

A fast, easy-to-use ring solver for agda with step-by-step solutions

agda-sizedio

IO using sized types and copatterns

agda-stdlib

The Agda standard library

agda-tic-tac-toe

Tic Tac Toe, formalized in Agda

agda-triangular-numbers

Proof of Triangular Numbers closed form

agda2dedukti

ai-comic-factory

Generate comic panels using a LLM + SDXL. Powered by Hugging Face 🤗

ai-ethics

place to hold issues related to AI ethics

ai-flake

A Nix flake for many AI projects

ai-on.org

AI•ON projects repository and website source.

aida

AIDA Named Entity Disambiguation by the Databases and Information Systems Group at the Max Planck Institute for Informatics.

aiko_engine_mp

microPython event based engine supporting network messages (MQTT), times and various hardware drivers

aima-haskell

Algorithms from AIMA in Haskell

aiortc

WebRTC and ORTC implementation for Python using asyncio

airflow

AirFlow is a system to programmatically author, schedule and monitor data pipelines.

airharp

Leap Motion controlled harp application

airmapview

A view abstraction to provide a map user interface with various underlying map providers

airship

Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps.

aivika-transformers

A generalization of the Aivika simulation library

ak-mathematica-notebooks

miscellanous mathematica notebooks

alacritty

A cross-platform, GPU enhanced terminal emulator

albacore

Albacore is a professional quality suite of Rake tasks for building .NET or Mono based systems.

alda

A music programming language for musicians. :notes:

alda-songs

Songs I've written using Alda, open-sourced

alethe-examples

Example Programs and Routines for Alethe (א)

alexachip

Code to turn a CHIP into an Alexa Client