Danila Danko's repositories
anki-decks
My Anki decks. Mostly for language learning
leads-calendar
Create paid events using Google Calendar and PayPal or Binance Pay [just an assignment on writing docs] [not planned to be implemented]
cache
Cache dependencies and build outputs in GitHub Actions
cache-nix-action
Cache Nix store in GitHub Actions to speed up workflows [maintainer=@deemp]
conduwuit
a very cool fork of conduit
devshell
Per project developer environments
docs
The open-source repo for docs.github.com
eo
EOLANG, an Experimental Object-Oriented Programming Language Based on 𝜑-calculus
gomod2nix
Convert applications using Go modules to Nix expressions [maintainer=@adisbladis]
mdsh
`$ mdsh` # a markdown shell pre-processor
nix-stores-explorer
Requirements for a BS SQR project
nix-structurizr-cli
Nix Flake around structurizr-cli
nix-unit
Unit testing for Nix code [maintainer=@adisbladis]
normalizer
Command Line Normalizer of 𝜑-calculus Expressions
normalizer-docs
Additional documentation for the objectionary/normalizer project
poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Serializable
Small library for deserialization and serialization for javascript and typescript
server
The Triton Inference Server provides an optimized cloud and edge inferencing solution.
stack-action
GitHub Action to build, test, and lint Stack-based Haskell projects
team-work-telegram-bot
A Telegram bot that helps you conduct daily (or at least regular) meetings
toolkit
The GitHub ToolKit for developing GitHub Actions.