John D. Ramsdell (@ramsdell)
github

ramsdell

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    69
  • Global Rank 271,735 (Top 10 %)
  • Followers 17
  • Registered over 12 years ago
  • Most used languages
    C
         37.5 %
    OCaml
         25.0 %
    Haskell
         25.0 %
    Scilab     12.5 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 55,176
  • Country Ranking
    Scilab     36
    OCaml
         135
    Haskell
         731
    C
         7,337

Top repositories

1

ocaml-datalog

This package contains a lightweight deductive database system in OCaml
OCaml
37
star
2

agum

Unification and Matching in an Abelian Group
Haskell
10
star
3

datalog

Datalog interpreter in Lua
C
6
star
4

chase

OCaml
5
star
5

gtksudoku

GTK Sudoku eliminates much of the drudgery of solving a Sudoku puzzle and provides educational tips should the path to the solution become obscured.
C
5
star
6

cmu

Unification in a Commutative Monoid
Haskell
3
star
7

lineqpp

The Linear Equations Preprocessor solves linear equations and then substitutes the solutions into a document at prescribed locations. It provides linear equation solving capability similar to what is provided by MetaPost, as a general purpose preprocessor. It can be used with SVG to specify the position of graphics objects using a set of linear equations.
C
2
star
8

cpsa

Cryptographic Protocol Shapes Analyzer (CPSA)
Scilab
1
star