Ailrun/ProofPool Ailrun/ProofPool

  • Stars
    star
    1
  • Language Agda
  • Created about 2 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Ailrun/ProofPool
github

Ailrun

Reviews

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

Repository Details

Agda proofs for various topics

More Repositories

1

core-lang-haskell

Implementation for the book <Implementing functional languages: a tutorial>
Haskell
31
star
2

typed-f

Typed functional programming utilities
TypeScript
20
star
3

magit-lfs

Git LFS for magit!
Emacs Lisp
13
star
4

rxpressive

Express meets RxJS.
JavaScript
9
star
5

pile-of-characters

Various writings
8
star
6

tsdux

Type-safe redux utilities for TypeScript.
TypeScript
7
star
7

lambda-cube

Haskell implementation of (some of) lambda cube calculi
Haskell
7
star
8

coq-commenter

Coq commenter for Emacs
Emacs Lisp
6
star
9

satyros

SATyros, small SAT/SMT sovler library for step-by-step solving
Haskell
6
star
10

LambdaDB

On-memory DB using Lambda function
Haskell
5
star
11

rxan-core

Core package for rxan
JavaScript
4
star
12

tsdux-observable

tsdux utilities for Observables
TypeScript
4
star
13

dev-api-server

Configurable API server for client development
TypeScript
3
star
14

Theorem_Proving_in_Lean

Lean
3
star
15

emacs-retrie

An Emacs package to refactor Haskell code with retrie
Emacs Lisp
2
star
16

Htaut

Haskell integrated Tautology prover
Haskell
2
star
17

LiquidHaskell-tutorial

Haskell
2
star
18

Programming_in_Haskell

Haskell
2
star
19

TRPL-study

<The Rust Programming Language> book study
Rust
2
star
20

Floor1

Experimental (and basic) proof assistant with absolutely **no** elegant features.
Haskell
2
star
21

tetris-js

Various implementation for tetris in JS
JavaScript
1
star
22

graphql-file-upload

Example for file upload API with GraphQL
JavaScript
1
star
23

npm-prologue

NPM project/package bootstrapper for Junyoung Clare Jang
TypeScript
1
star
24

DNA_Hairpin_Structure

detect hairpin structure of short length DNA
C++
1
star
25

APar

Arrow Parser Library of Haskell
Haskell
1
star
26

rxan-react

JavaScript
1
star
27

Elevator2way7floor

2 ways 7 floors elevator using Verilog
Verilog
1
star
28

example-graphql-server

Example server for graphql seminar
JavaScript
1
star
29

Ailrun.github.io

GitHub Pages for Ailrun
TypeScript
1
star
30

deducible

TypeScript library for logical system handling
TypeScript
1
star
31

three-potree-loader-example

Three potree loader minimal(?) example.
JavaScript
1
star
32

yet-another-emacs-settings

emacs settings for C, C++, html, node.js, ...
Emacs Lisp
1
star
33

Lambdifies

Lambdifies VM
Haskell
1
star