Kha/Bartizan Kha/Bartizan

  • Stars
    star
    56
  • Rank 530,104 (Top 11 %)
  • Language
    C#
  • Created over 10 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Kha/Bartizan
github

Kha

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Mod Framework for TowerFall Ascension

More Repositories

1

electrolysis

Simple verification of Rust programs via functional purification in Lean 2(!)
Lean
323
star
2

nixprof

A Nix build graph profiler
Python
27
star
3

nale

Nix + Lean = Nale
C++
11
star
4

do-supplement

Supplement of the ICFP'22 paper "β€˜do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
Lean
10
star
5

macro-supplement

Supplemental material for the "Beyond Notations" paper
Lean
8
star
6

masters-thesis

TeX
7
star
7

HoTT-book-agda

Agda proofs of the HoTT book exercises
Agda
4
star
8

semantics-lean

Lean
3
star
9

aoc-2022

aoc-2022
Lean
3
star
10

aoc-2021

not meant as an instruction manual
Lean
3
star
11

err-sedbot

errbot plugin for executing simple sed substitute commands
Python
2
star
12

i3lock

C
2
star
13

dotfiles

.config/
Nix
2
star
14

nusski-replayer

Ein Replay-Viewer fΓΌr das April-2011-Turnier der EE in CoffeeScript
JavaScript
2
star
15

syntax

Lean
1
star
16

err-cah

A Cards Against Humanity bot plugin for err-bot
Python
1
star
17

light-cycle

Quick`n`dirty 2 player game for the BlackBerry PlayBook Tablet Offer 2012
CoffeeScript
1
star
18

etc

/etc files of a Lenovo ThinkPad T430
Shell
1
star
19

nusski-cs-client

Ein C#-Client fΓΌr das April-2011-Turnier der Entwickler-Ecke
C#
1
star
20

err-babble-bot

Markov chain-based Err plugin for nonsense generation
Python
1
star
21

ca-datastructs

Proseminar about implementing simple data structures in cellular automata
Haskell
1
star
22

Floyd

(Parallel) implementation of Floyd-Steinberg dithering for Programming course 2011
Java
1
star
23

top-comment-err

errbot plugin that responds to posted links with the respective reddit top comment
Python
1
star
24

isabelle-zfc

Simplistic Formalization of ZFC in Isabelle
TeX
1
star