Ejhfast/Proof-Search Ejhfast/Proof-Search

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    Haskell
  • Created about 13 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Ejhfast/Proof-Search
github

Ejhfast

Reviews

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

Repository Details

More Repositories

1

empath-client

analyze text with empath
Python
314
star
2

TypedJS

Lightweight program specifications for testing JavaScript
JavaScript
223
star
3

iris-agent

A extensible conversational agent for data science tasks
TeX
122
star
4

Gajure

A framework for implementing genetic algorithms in Clojure.
Clojure
63
star
5

ProofFrontend

JavaScript
12
star
6

empath-outofdate

HTML
10
star
7

Clogger

A basic blog framework designed around Compojure
Clojure
8
star
8

mobile-for-compojure

Middleware for handling mobile devices in compojure applications
Clojure
7
star
9

codex

Collecting and aggregating information about Ruby ASTs
Ruby
5
star
10

Atom-Feed-for-Clojure-and-Compojure

A simple template for creating atom feeds with Clojure and Compojure
Clojure
4
star
11

meta

a community-aware domain specific language for Python
Python
4
star
12

code_extraction

Python
4
star
13

cs1120

An example Django app for UVa's CS1120
Python
3
star
14

augur-nlp-mining

Python
3
star
15

wordy

analyze text patterns in webpages
Clojure
3
star
16

ejhfast.github.com

Blog
HTML
3
star
17

CS376

Arduino interface code
JavaScript
3
star
18

5k

Ruby
2
star
19

UXMockups

Ruby
2
star
20

faml

Finite Automata for Ocaml
OCaml
2
star
21

OurApp

An application
JavaScript
2
star
22

BarefootCS

Ruby
2
star
23

HackLikeMe

Connecting developers and designers
Ruby
2
star
24

integratedCS

Objective-C
2
star
25

CustomerManagmentApp

TBD
Ruby
2
star
26

iphoneCS

iphone project for sherriff's class
Objective-C
2
star
27

acl2-backend

Backend proof checker for education project
Common Lisp
2
star
28

fa-ruby

Build Finite Automata in Ruby
Ruby
1
star
29

MotivateCSS

Design for motivation site
Ruby
1
star
30

oldblog

placeholder for old blog
Ruby
1
star
31

NLP-Challenge

Solution to Joseph Turian's NLP problem
Ruby
1
star
32

fiction-bias

HTML
1
star
33

fahs

Learning Haskell with Finite Automata
Haskell
1
star
34

node-proof-server

Nodejs wrapper for acl2 proof checker
Common Lisp
1
star
35

virtual_assistant

natural language assistant for OSX
Python
1
star
36

maria-web

web interface for deep learning peptide presentation
JavaScript
1
star
37

Clustering-in-Haskell

A simple clustering implementation
Haskell
1
star
38

Fortune

A toy Sinatra app that generates unix fortunes
Ruby
1
star
39

Jokes

Agent Based Joke Simulation
Java
1
star
40

Bite

Minimalist Web Framework for Clojure
Clojure
1
star
41

Markov

Markov text creation
Ruby
1
star
42

elrond-rust

Key creation and transaction signing for the Elrond network in pure Rust
Rust
1
star
43

Narcissist

Track a user's twitter-based narcissism quotient
Ruby
1
star