{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"mlkit","owner":"Tipoca","isFork":true,"description":"Standard ML Compiler and Toolkit","allTopics":[],"primaryLanguage":{"name":"Standard ML","color":"#dc566d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":30,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-06T11:57:24.607Z"}},{"type":"Public","name":"sieve","owner":"Tipoca","isFork":true,"description":"Sieve filter interpreter for Rust","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-20T16:49:07.107Z"}},{"type":"Public","name":"HVM","owner":"Tipoca","isFork":true,"description":"A massively parallel, optimal functional runtime in Rust","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":389,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-10T20:22:51.411Z"}},{"type":"Public","name":"biohacker","owner":"Tipoca","isFork":true,"description":"debugging biological networks to reach coherence, completeness and consistency","allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-09T03:55:05.228Z"}},{"type":"Public","name":"scaml","owner":"Tipoca","isFork":false,"description":"Smart Contract Abstract Machine Language","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-07T00:42:27.401Z"}},{"type":"Public","name":"node-bluetoothctl","owner":"Tipoca","isFork":false,"description":"bluetoothctl wrapper for nodejs (<a href=\"https://www.npmjs.com/package/bluetoothctl\" rel=\"nofollow\">https://www.npmjs.com/package/bluetoothctl</a>)","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-27T15:34:14.687Z"}},{"type":"Public","name":"john-carmack-plan-archive","owner":"Tipoca","isFork":true,"description":"Collection of John Carmack’s .plan files","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":146,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-30T02:39:04.432Z"}},{"type":"Public","name":"martin-lof","owner":"Tipoca","isFork":true,"description":"papers of Per Martin Löf","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":64,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-24T15:32:25.920Z"}},{"type":"Public","name":"spim","owner":"Tipoca","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-10-04T20:41:26.825Z"}},{"type":"Public","name":"ntplib","owner":"Tipoca","isFork":false,"description":"An irregularly-updated clone of Charles-Francois Natali's NTP client library for Python.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":18,"forksCount":3,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-06-05T15:42:31.264Z"}},{"type":"Public","name":"prog21","owner":"Tipoca","isFork":true,"description":"Programming in the 21st Century static site generator","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-03-14T02:05:37.569Z"}},{"type":"Public","name":"pbLua","owner":"Tipoca","isFork":true,"description":"Firmware replacement for Lego Mindstorms NXT enabling Lua to run on the robots","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-19T22:13:43.442Z"}},{"type":"Public","name":"intellij-ocaml","owner":"Tipoca","isFork":false,"description":"Automatically exported from code.google.com/p/intellij-ocaml","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-12-14T01:26:38.897Z"}},{"type":"Public","name":"Combinatorica","owner":"Tipoca","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Mathematica","color":"#dd1100"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-12-02T01:40:12.911Z"}},{"type":"Public","name":"scmutils","owner":"Tipoca","isFork":false,"description":"Scheme Classical Mechanics utilities from Gerald Jay Sussman, as found at <a href=\"http://groups.csail.mit.edu/mac/users/gjs/6946/\" rel=\"nofollow\">http://groups.csail.mit.edu/mac/users/gjs/6946/</a> and mit-scheme distribution removed.","allTopics":[],"primaryLanguage":{"name":"Scheme","color":"#1e4aec"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-08-14T14:14:06.800Z"}},{"type":"Public","name":"bitstring","owner":"Tipoca","isFork":false,"description":"Automatically exported from code.google.com/p/bitstring","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":20,"starsCount":0,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-07-31T03:53:17.112Z"}},{"type":"Public","name":"iburg","owner":"Tipoca","isFork":true,"description":"A Tree Parser Generator","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":26,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-03-23T18:05:08.241Z"}},{"type":"Public","name":"links","owner":"Tipoca","isFork":false,"description":"Links: Linking Theory to Practice for the Web","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-01-08T20:50:30.379Z"}},{"type":"Public","name":"awklisp","owner":"Tipoca","isFork":true,"description":"A Lisp interpreter written in Awk.","allTopics":[],"primaryLanguage":{"name":"Awk","color":"#c30e9b"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":19,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-05-06T00:10:05.000Z"}},{"type":"Public","name":"xsb-clone","owner":"Tipoca","isFork":true,"description":"xsb-clone","allTopics":[],"primaryLanguage":{"name":"OpenEdge ABL","color":"#5ce600"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-03-07T16:48:35.658Z"}},{"type":"Public","name":"fgl","owner":"Tipoca","isFork":false,"description":"FGL - A Functional Graph Library","allTopics":[],"primaryLanguage":{"name":"Standard ML","color":"#dc566d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-02-14T06:38:43.031Z"}},{"type":"Public","name":"dule","owner":"Tipoca","isFork":false,"description":"Dule compiler","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-01-22T04:28:45.311Z"}},{"type":"Public","name":"ensemble","owner":"Tipoca","isFork":false,"description":"The Ensemble Distributed Communication System","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-01-22T04:19:12.185Z"}},{"type":"Public","name":"dml","owner":"Tipoca","isFork":false,"description":"Dependent ML","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-01-14T04:05:58.521Z"}},{"type":"Public","name":"intuitionistic","owner":"Tipoca","isFork":false,"description":"Intuitionistic Programming Language","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-12-28T20:30:11.830Z"}},{"type":"Public","name":"unison","owner":"Tipoca","isFork":false,"description":"Unison File Synchronizer","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-08-20T06:33:23.000Z"}},{"type":"Public","name":"gaussian-distribution","owner":"Tipoca","isFork":false,"description":"The Haskell, Erlang and Perl code can be used to calculate the value of the cumulative distribution function of the Gaussian distribution.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-07-27T11:25:16.000Z"}},{"type":"Public","name":"ocaml-regexp","owner":"Tipoca","isFork":false,"description":"Claude Marché's (very fast) Regexp Library for OCaml.","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-11-17T05:25:29.000Z"}},{"type":"Public","name":"Classical-Mechanics","owner":"Tipoca","isFork":true,"description":"Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":18,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-10-30T19:03:13.000Z"}},{"type":"Public","name":"handbook-of-practical-logic-and-automated-reasoning","owner":"Tipoca","isFork":false,"description":"Code from John Harrison's \"Handbook of Practical Logic and Automated Reasoning\"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":15,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-10-23T19:48:07.000Z"}}],"repositoryCount":33,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Tipoca repositories"}