Skip to content

@Tipoca Tipoca

Change the repository type filter

All

    Repositories list

    34 repositories

    • repr

      Public
      The 'regular expresions as linear logic' interpretation and its implementation
      Rust
      •
      MIT License
      •0•0•0•0•Updated Nov 10, 2024Nov 10, 2024

    • mlkit

      Public
      Standard ML Compiler and Toolkit
      Standard ML
      •33•0•0•0•Updated Mar 6, 2024Mar 6, 2024

    • sieve

      Public
      Sieve filter interpreter for Rust
      Rust
      •
      GNU Affero General Public License v3.0
      •9•0•0•0•Updated Oct 20, 2023Oct 20, 2023

    • HVM

      Public
      A massively parallel, optimal functional runtime in Rust
      Rust
      •
      MIT License
      •427•0•0•0•Updated Jul 10, 2022Jul 10, 2022

    • biohacker

      Public
      debugging biological networks to reach coherence, completeness and consistency
      Common Lisp
      •8•0•0•0•Updated Nov 9, 2021Nov 9, 2021

    • scaml

      Public
      Smart Contract Abstract Machine Language
      OCaml
      •
      Other
      •0•0•0•0•Updated Apr 7, 2021Apr 7, 2021

    • node-bluetoothctl

      Public
      bluetoothctl wrapper for nodejs (https://www.npmjs.com/package/bluetoothctl)
      JavaScript
      •1•1•0•0•Updated Dec 27, 2020Dec 27, 2020

    • john-carmack-plan-archive

      Public
      Collection of John Carmack’s .plan files
      160•0•0•0•Updated Aug 30, 2020Aug 30, 2020

    • martin-lof

      Public
      papers of Per Martin Löf
      TeX
      •69•0•0•0•Updated Nov 24, 2018Nov 24, 2018

    • spim

      Public
      C++
      •1•0•0•0•Updated Oct 4, 2018Oct 4, 2018

    • ntplib

      Public
      An irregularly-updated clone of Charles-Francois Natali's NTP client library for Python.
      Python
      •
      GNU Lesser General Public License v3.0
      •3•19•1•0•Updated Jun 5, 2018Jun 5, 2018

    • prog21

      Public
      Programming in the 21st Century static site generator
      HTML
      •
      MIT License
      •2•0•0•0•Updated Mar 14, 2017Mar 14, 2017

    • pbLua

      Public
      Firmware replacement for Lego Mindstorms NXT enabling Lua to run on the robots
      3•0•0•0•Updated Oct 19, 2016Oct 19, 2016

    • intellij-ocaml

      Public
      Automatically exported from code.google.com/p/intellij-ocaml
      Java
      •
      GNU General Public License v2.0
      •0•1•1•0•Updated Dec 14, 2015Dec 14, 2015

    • Combinatorica

      Public
      Mathematica
      •1•0•0•0•Updated Dec 2, 2015Dec 2, 2015

    • scmutils

      Public
      Scheme Classical Mechanics utilities from Gerald Jay Sussman, as found at http://groups.csail.mit.edu/mac/users/gjs/6946/ and mit-scheme distribution removed.
      Scheme
      •4•7•0•0•Updated Aug 14, 2015Aug 14, 2015

    • bitstring

      Public
      Automatically exported from code.google.com/p/bitstring
      OCaml
      •
      GNU General Public License v2.0
      •0•0•20•0•Updated Jul 31, 2015Jul 31, 2015

    • iburg

      Public
      A Tree Parser Generator
      C
      •
      Other
      •31•0•0•0•Updated Mar 23, 2015Mar 23, 2015

    • links

      Public
      Links: Linking Theory to Practice for the Web
      OCaml
      •
      Other
      •0•0•0•0•Updated Jan 8, 2015Jan 8, 2015

    • awklisp

      Public
      A Lisp interpreter written in Awk.
      Awk
      •17•0•0•0•Updated May 6, 2014May 6, 2014

    • xsb-clone

      Public
      xsb-clone
      OpenEdge ABL
      •1•0•0•0•Updated Mar 7, 2014Mar 7, 2014

    • fgl

      Public
      FGL - A Functional Graph Library
      Standard ML
      •
      Other
      •0•1•0•0•Updated Feb 14, 2014Feb 14, 2014

    • dule

      Public
      Dule compiler
      OCaml
      •0•0•0•0•Updated Jan 22, 2014Jan 22, 2014

    • ensemble

      Public
      The Ensemble Distributed Communication System
      OCaml
      •
      Other
      •4•2•0•0•Updated Jan 22, 2014Jan 22, 2014

    • dml

      Public
      Dependent ML
      OCaml
      •0•3•0•0•Updated Jan 14, 2014Jan 14, 2014

    • intuitionistic

      Public
      Intuitionistic Programming Language
      OCaml
      •
      Apache License 2.0
      •1•12•0•0•Updated Dec 28, 2013Dec 28, 2013

    • unison

      Public
      Unison File Synchronizer
      OCaml
      •0•1•0•0•Updated Aug 20, 2013Aug 20, 2013

    • gaussian-distribution

      Public
      The Haskell, Erlang and Perl code can be used to calculate the value of the cumulative distribution function of the Gaussian distribution.
      Haskell
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Jul 27, 2013Jul 27, 2013

    • ocaml-regexp

      Public
      Claude Marché's (very fast) Regexp Library for OCaml.
      OCaml
      •0•1•0•0•Updated Nov 17, 2012Nov 17, 2012

    • Classical-Mechanics

      Public
      Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
      Haskell
      •18•0•0•0•Updated Oct 30, 2012Oct 30, 2012