konne88/bagpipe konne88/bagpipe

  • Stars
    star
    24
  • Rank 980,770 (Top 20 %)
  • Language Coq
  • License
    MIT License
  • Created over 9 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
konne88/bagpipe
github

konne88

Reviews

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

Repository Details

BGP Policy Verification

More Repositories

1

SpaceSearch

Coq
9
star
2

Brainfuck-Processor

A simple brainfuck processor implemented in VHDL.
VHDL
7
star
3

Wallet

Android Wallet App
Java
5
star
4

Lotse

Visualizes GPS information. Features points of interests, wayfinding (without a map) and a cool visual radar overview. Great for geocaching, not so great for driving.
Python
4
star
5

PrologLispInterpreter

Lisp Interpreter written in Prolog
Prolog
3
star
6

Shareables

Once you use it, you'll know, to fundemental to deserve a description.
Java
2
star
7

konne88.github.io

Homepage
Coq
2
star
8

WebCharts

Simple but good looking Webbrowser Chart library.
JavaScript
2
star
9

CoqStdlib

Coq
1
star
10

Allan

1
star
11

ConsecutivePrimes

C++
1
star
12

pure

Home of the pure programming language
Java
1
star
13

MediaCMN

Tools to create a consistent music library.
Python
1
star
14

PrimeCalc

Effiecient prime number calculator
C
1
star
15

MyInventory

Gtk and C# based application allowing you to keep track of all the things you own.
C#
1
star
16

Robotics

A collection of robot software
Arduino
1
star
17

X-Site-Scripting

C++
1
star
18

C-Subset-Compiler

Compiler for a subset of the C language
C
1
star
19

Evol

Evolutionary Language
1
star