Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
bblab-server
Useful tools for HIV research from the Brockman and Brumme Lab at SFU
c2048m
simple console game clone of ~2048
cfe-lab.github.io
at the BC Centre for Excellence in HIV/AIDS
dynamic-box
Sandbox game for programmers
hacalc-web
Web interface for hacalc
HLearn
Neural network that learns to play ~Hearthstone
lambdacc
primitive lambda calculus to C compiler
qutebrowser-shell-send
Plugin for qutebrowser to send selected text to terminal
UMCS-ArchitekturySystemowKomputerowych
Donaim's Repositories
Donaim/lambdacc
primitive lambda calculus to C compiler
Donaim/qutebrowser-shell-send
Plugin for qutebrowser to send selected text to terminal
Donaim/agda
Agda is a dependently typed programming language / interactive theorem prover.
Donaim/bblab-server
Useful tools for HIV research from the Brockman and Brumme Lab at SFU
Donaim/cfe-lab.github.io
at the BC Centre for Excellence in HIV/AIDS
Donaim/Donaim
Donaim/hacalc-web
Web interface for hacalc
Donaim/dpdk
Data Plane Development Kit
Donaim/guile-wm
A Window Manager Toolkit for Guile Scheme
Donaim/hacalc
Calculator based on rewriting semantics
Donaim/hacalc-ide
Console based IDE for hacalc
Donaim/Haploflow
Donaim/hedy
Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.
Donaim/kivecli
Scripts for Kive
Donaim/magic-racket
A featureful syntax highlighting plugin for Racket
Donaim/minimap2
A versatile pairwise aligner for genomic and spliced nucleotide sequences
Donaim/myagdalib
Common code for my agda projects
Donaim/NistRng
Random Number Generator NIST Test Suite framework for python 3.6 - SAILab - University of Siena
Donaim/ocf
Open CAS Framework
Donaim/passerine
A small extensible programming language designed for concise expression with little code.
Donaim/PatternT
Library for rewrite systems
Donaim/PatterntCommonFrontend
Frontend for PatternT
Donaim/proviral-pres1
Donaim/qutebrowser
A keyboard-driven, vim-like browser based on PyQt5.
Donaim/racket-utils
Custom macros and functions that I use for racket projects
Donaim/signup-form
Simple event signup form built on react/redux/mongodb/express/node.js stack
Donaim/time-tracking-server
Nest.js server for tracking tasks
Donaim/tuxi
Tuxi is a cli assistant. Get answers of your questions instantly.
Donaim/vscode-racket-repl
A simple REPL for Racket in Visual Studio Code.
Donaim/yenten
Yenten; cryptocurrency of the cpu, by the cpu, for the cpu