dragonwasrobot/formal-moessner dragonwasrobot/formal-moessner

  • Stars
    star
    2
  • Language Coq
  • Created over 10 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dragonwasrobot/formal-moessner
github

dragonwasrobot

Reviews

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

Repository Details

A formal study of Moessner's sieve

More Repositories

1

learn-prolog-now-exercises

My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
Prolog
284
star
2

json-schema-to-elm

Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
Elixir
85
star
3

i18n-to-elm

Generates Elm types and functions from i18n key/value JSON files
Elixir
23
star
4

chip-8

A CHIP-8 emulator written in Elm
Elm
9
star
5

json_schema

A library for parsing, inspecting and manipulating JSON Schema documents
Elixir
9
star
6

brainfuck

A brainfuck interpreter written in Elm
Elm
7
star
7

simpl-lang

A simple language created in Coq, batteries and correctness proofs included.
Coq
6
star
8

gesture-recognition

Project for inferring various touch and object gestures using the TUIO protocol, CoffeeScript and node.js
CoffeeScript
4
star
9

helm-bitbucket

A helm interface for searching Bitbucket
Emacs Lisp
3
star
10

yasnippets-coq

Coq snippets for the Yasnippet emacs mode.
3
star
11

99-problems

I got 99 problems but a Lisp ain't one
Scheme
2
star
12

dragonwasrobot.github.io

My website.
SCSS
2
star
13

adventOf-CODE_2022

25 days, 25 puzzles, 25 languages, surely I will regret this decision
Clojure
2
star
14

formal-language

A python package containing various constructs used in formal language theory, i.e. Finite Automatas, Push-down Automatas and Turing Machines.
Python
2
star
15

sicp-exercises

This is a collection of solutions to the exercises found in 'Structure and Interpretation of Computer Programs' by Harold Abelson, Gerald Jay Sussman and Julie Sussman.
Scheme
2
star
16

ex_rerun

Rerun custom mix tasks on code modification
Elixir
2
star
17

get-shit-done

Script for reducing distractions and improving focus
Shell
1
star
18

game-of-life

A CoffeeScript and HTML5 canvas implementation of Conway's Game of Life.
CoffeeScript
1
star
19

b.el

A byte manipulation library
Emacs Lisp
1
star