mhallin/socrates mhallin/socrates

  • Stars
    star
    1
  • Language
    Rust
  • Created about 6 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mhallin/socrates
github

mhallin

Reviews

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

Repository Details

SAT-based logic reasoning toolbox/playground

More Repositories

1

graphql_ppx

GraphQL PPX rewriter for Bucklescript/ReasonML
OCaml
320
star
2

vagrant-notify-forwarder

A file system event forwarding plugin for Vagrant
Ruby
152
star
3

graphql-docs

GraphQL documentation explorer
JavaScript
115
star
4

notify-forwarder

Simple tool that can forward file system events to other machine, such as virtual machines with shared folders
C++
112
star
5

forest

CSS modules for Clojurescript
Clojure
63
star
6

juniper-example-todo-backend

Simple example how to use GraphQL with SQLite, Diesel, and Iron
Rust
34
star
7

swim-rs

An implementation of the SWIM Protocol in Rust
Rust
19
star
8

loadbalancer-rs

TCP load balancer, written in Rust
Rust
14
star
9

SimpleJSON.NET

A Simple JSON parsing/generation library for .NET
C#
9
star
10

vectorclock-rs

Vector clock implementation for distributed systems, in Rust
Rust
8
star
11

murmurhash3-rs

Rust
6
star
12

cov-exclude-py

Pytest plugin that excludes tests based on coverage information
Python
5
star
13

tamarack

Quantitative Web Application Profiler
Clojure
5
star
14

knitty-gritty

Dropbox for knitting machines
Python
4
star
15

django-compiling-loader

A compiling template loader for Django
Python
4
star
16

crdt-rs

A small sample of Conflict-free Replicated Data Types for Rust
Rust
3
star
17

signpost-rs

Rust signpost library for macOS/iOS
Rust
2
star
18

kami-solver

An attempt at a solver for the puzzle game Kami
Python
2
star
19

alder

Node based Web Audio/MIDI API graph editor
Clojure
1
star