meagtan/syllogism meagtan/syllogism

  • Stars
    star
    2
  • Language
    Common Lisp
  • License
    MIT License
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
meagtan/syllogism
github

meagtan

Reviews

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

Repository Details

Syllogism solver with natural language input

More Repositories

1

99-lisp-problems

Solutions for the Ninety-Nine Lisp problems in Common Lisp.
Common Lisp
16
star
2

harmonizer

Harmonizes a melody with the likeliest sequence of chords using dynamic Bayesian networks
Jupyter Notebook
15
star
3

GRAIL-function-generator

Automatically generates functions for abstract data types given their GRAIL representation.
Common Lisp
5
star
4

p-adic-numbers

Arithmetic and finding roots of polynomials in p-adic number fields
Python
5
star
5

checkers

Arduino implementation of checkers with AI.
C
2
star
6

guitar-tab-calculator

Inferring optimal tab configurations for chord sequences
Python
2
star
7

cs342-p3

CS 342 Operating Systems Project 3
C
1
star
8

fixed-point

Approximating fixed points of parameterized families of functions using neural networks
Python
1
star
9

cs481-hw2

CS 481 Bioinformatics Algorithms HW 2
C
1
star
10

cs481-hw4

CS 481 Bioinformatics Algorithms HW 4
C
1
star
11

galois-fields

Quick implementation of Galois fields in C
C
1
star
12

geometric-construction

Calculate the compass and straightedge construction of points, numbers, angles, polygons.
C++
1
star
13

cs342-p1

CS 342 Operating Systems Project 1
C
1
star
14

cs-223-project

Digital design project implementing checkers in SystemVerilog
SystemVerilog
1
star
15

theorem-prover

Proof of concept for theorem proving using heuristic search
Python
1
star
16

ski-interpreter

An interpreter for the SKI combinator calculus in Scheme.
Scheme
1
star
17

cs342-p2

CS 342 Operating Systems Project 2
C
1
star
18

circuit-simulator

A simulator for RLC circuits
Java
1
star
19

bf-interpreter

Brainfuck interpreter and compiler to C code
C
1
star
20

cs342-p4

CS 342 Operating Systems Project 4
C
1
star
21

cs481-hw1

CS 481 Bioinformatics Algorithms HW 1
C
1
star
22

group-evaluator

Evaluate expressions formed by elements of a group with a given presentation, if possible.
Common Lisp
1
star
23

math214-lecture-notes

TeX
1
star
24

search-algorithms

Testing the relative efficiency of different search algorithms and heuristics on randomly generated mazes
C
1
star
25

cs481-hw3

CS 481 Bioinformatics Algorithms HW 3
C
1
star