Matheritasiv/clausal-form Matheritasiv/clausal-form

  • Stars
    star
    1
  • Language
    Common Lisp
  • Created almost 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Matheritasiv/clausal-form
github

Matheritasiv

Reviews

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

Repository Details

Convert a first-order predicate logic sentence to clausal form

More Repositories

1

tetris

Classical Tetris game in C++ language
C++
4
star
2

pqueue

Priority queue implementation in scheme language
Scheme
4
star
3

smooth_sort

Dijkstra's smooth sort algorithm in x64 assembly
Assembly
4
star
4

binaries

Arithmetic system of 2-adic numbers in scheme language
Scheme
3
star
5

fset

Finite set implementation in scheme language
Scheme
3
star
6

pi

Calculating PI with unlimited precision in scheme language
Scheme
3
star
7

covcirc

求给定点集的最小覆盖圆
Makefile
2
star
8

sort_algo

Several sort algorithms in rust language
Rust
1
star
9

KMP

KMP algorithm in scheme language
Scheme
1
star
10

series

Formal power series and 10-adic integers in scheme language
Scheme
1
star
11

fractal

Fractal arts in scheme language
Scheme
1
star
12

maze

A maze demonstration in scheme language
Scheme
1
star
13

LFSR

A pseudorandom generator based on LFSR in x64 assembly
Assembly
1
star
14

control

Several control structures implemented by `call/cc` in scheme language
Scheme
1
star