akawashiro/formalized-egison akawashiro/formalized-egison

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Coq
  • Created almost 5 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
akawashiro/formalized-egison
github

akawashiro

Reviews

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

Repository Details

More Repositories

1

jendeley

jendeley is a JSON-based document organizing software.
TypeScript
122
star
2

sloader

sloader is an ELF loader which aims to replace ld-linux.so of glibc.
C++
100
star
3

hml

ML language compiler
Haskell
7
star
4

ml2wasm

WebAssembly
4
star
5

z3shape

ONNX shape inference using Z3
Rust
2
star
6

xla2onnx

Python
2
star
7

minago

C
2
star
8

haskellFilesystem

Haskell
2
star
9

haskellKalmanFilter

C
2
star
10

haskellEM

Haskell
2
star
11

lambdaMD-JFP

TeX
1
star
12

lispi

Haskell
1
star
13

elfeditor

C++
1
star
14

ELF2.jl

Julia
1
star
15

cropass

cropass is simple password manager written in Go. cropass works anywhere Go runs.
Go
1
star
16

masters-thesis

TeX
1
star