8000 ramsdell (John D. Ramsdell) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View ramsdell's full-sized avatar
23 followers · 0 following
  • The MITRE Corporation
  • Bedford. Massachusetts

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report ramsdell

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. ocaml-datalog ocaml-datalog Public

    This package contains a lightweight deductive database system in OCaml

    OCaml 41 4

  2. agum agum Public

    Unification and Matching in an Abelian Group

    Haskell 11 2

  3. datalog datalog Public

    Datalog interpreter in Lua

    C 11 1

  4. chase chase Public

    OCaml 6

  5. gtksudoku gtksudoku Public

    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 1

  6. cmu cmu Public

    Unification in a Commutative Monoid

    Haskell 4 1

0