acorrenson/strange_algebra acorrenson/strange_algebra

  • Stars
    star
    3
  • Rank 3,941,167 (Top 79 %)
  • Language
    Python
  • License
    MIT License
  • Created almost 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
acorrenson/strange_algebra
github

acorrenson

Reviews

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

Repository Details

Resolve boolean system of equations using Gauss algorithm.

More Repositories

1

owl

A mini language for logic programming
OCaml
22
star
2

SATurne

Tiny verified SAT-solver
Coq
18
star
3

minilog

A verified Implementation of a mini prolog
Coq
13
star
4

WiSE

A formally verified bug finder
Python
13
star
5

cqfd

A why3 certified prover for propositional logic
OCaml
11
star
6

modulus

A constraint solver built from scratch in OCaml
OCaml
10
star
7

metamatix

A verified implementation of a metamath proof checker
Coq
9
star
8

automatik

A library of formalized automaton algorithms
Coq
9
star
9

Oratio

Translate natural deduction proofs into natural language.
OCaml
8
star
10

Algos

Some usefull algorithms implemented as a robust collection of modules for OCaml, C, Python and more
Rust
7
star
11

lili

Minimalist proof checker based on a simply typed lambda-calculus
OCaml
7
star
12

BF

A Coq Formalization of the Brainfuck programming language
Coq
6
star
13

Maybe

A tiny probabilist functional language
OCaml
6
star
14

superChip8

an emulator for the chip-8 system written in C
C
4
star
15

ocaml_web_ui

An example of web application written in OCAML
OCaml
4
star
16

ocallm

Training a (tiny) language model in OCaml, from scratch
OCaml
4
star
17

kind2coq

A experimental compiler from Kind (Core) to Coq
OCaml
3
star
18

Pym-s

Python with a sweet functionnal taste
OCaml
3
star
19

flow

An abstract interpreter
OCaml
3
star
20

Ministrel

A toy implementation of a synchronous programming language inspired by Esterel
OCaml
2
star
21

superChip8-compiler

An experimental compiler for chip-8 asm.
OCaml
2
star
22

learnrust

I move from OCaml to Rust... No I'm just kidding !
2
star
23

mfc

My First Compiler
OCaml
2
star
24

neutron

A Coq-certified preprocessor for boolean logic formulae
Coq
2
star
25

deep_checker

Final project for the statistics class at ENS
C
2
star
26

Djinn

OCaml binding for the Tinn library
C
2
star
27

systemf

A minimalistic implementation of system F in rust
Rust
1
star
28

magix

Separation Logic is magic <3
OCaml
1
star
29

ISN-PROJETFINAL

Processing
1
star
30

Defaultt

An attempt at formalizing default logic in Coq
Coq
1
star
31

PetitGuideDesNombresFlottants

Un mini-livre open-source pour mieux comprendre les nombres flottants
TeX
1
star
32

Puzzle

An OCaml DSL for problem solving based on symbolic AI techniques
OCaml
1
star
33

jflaTT

A type theory implemented during JFLA 2022
OCaml
1
star
34

friday_night_mood

Les L1 dlmis, arrêtez de nous donner du travail... après on dort plus ^^"
Coq
1
star
35

bayes

Trying to understand basic ML stuff
Python
1
star
36

article-bf

1
star
37

code.sflk

Vscode extension for sflk
JavaScript
1
star
38

myopencl

A tiny wrapper arround OpenCL C API
C
1
star
39

minilia

Minimalistic OCaml API to send LIA queries to Z3
OCaml
1
star
40

The_Incredible_Eight

A SAT approach to solve "The Incredible Eight" problem.
TeX
1
star