gnull/coq-playground gnull/coq-playground

  • Stars
    star
    1
  • Language Coq
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gnull/coq-playground
github

gnull

Reviews

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

Repository Details

My Personal Coq Playground

More Repositories

1

cfparser

Codeforces Parser for Emacs (Discontinued, see https://github.com/gabrielsimoes/cfparser.vim for a more actively developed analogue)
Emacs Lisp
17
star
2

kalina

RSS reader written purely in Haskell // Moved to SourceHut
Haskell
3
star
3

mess

Set of Utilities for Backing up vk.com Messages
Haskell
3
star
4

tstest

SO_TIMESTAMPING examples
C
2
star
5

buffer-overflow

A Tutorial on Buffer Overflows
Assembly
2
star
6

farm.hs

Exploit Farm for Classic CTF Competitions
Haskell
2
star
7

ajtai-dwork

Notes on the Fourth Ajtai-Dwork Cryptosystem
TeX
1
star
8

sca-playground

Side Channel Attacks Playground
C
1
star
9

hack-quest-2016

Chaos Constructions HackQuest Tasks
Perl 6
1
star
10

master-thesis-2019

LaTeX source of my master thesis (in Russian)
TeX
1
star
11

farm.p6

(Joke) Helper script for classic CTF competitions written in Perl6
Perl 6
1
star
12

misc-kernel-modules

MIscellaneous Kernel Modules
C
1
star
13

lesson

Haskell
1
star
14

.dotfiles

My dotfiles
Vim Script
1
star
15

haskell-playground

My Haskell Playground
Haskell
1
star
16

haskell-definitions

Attempts to use Haskell to communicate CS definitions formally
Haskell
1
star
17

surround.kak

A mirror of https://github.com/alexherbo2/surround.kak
1
star
18

auto-pairs.kak

A mirror of https://github.com/alexherbo2/auto-pairs.kak
1
star
19

vk-graph

Haskell
1
star
20

gnull.github.io

My personal blog
HTML
1
star