0x0f0f0f/minicaml 0x0f0f0f/minicaml

  • Stars
    star
    2
  • Language
  • Created almost 5 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
0x0f0f0f/minicaml
github

0x0f0f0f

Reviews

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

Repository Details

This is the old source code archive for minicaml. The project has been renamed to gobba!

More Repositories

1

memplot

Generate image plots of processes' memory usage very quickly, within a single binary.
Go
174
star
2

gobba

A purely functional dynamically typed programming language.
OCaml
56
star
3

dune-starter-project

A simple OCaml project skeleton using dune, ppx_deriving and alcotest.
Makefile
23
star
4

tripbot9000

Procedural generation of geometric patterns and fractals.
Go
21
star
5

yasih

Yet another Scheme implemented in Haskell
Haskell
18
star
6

computability-complexity-cheat-sheets

TeX code for Computability Theory and Complexity Theory Cheat Sheets
TeX
6
star
7

gobba-golang

Go
4
star
8

dna2music

Converting DNA to MIDI
C++
4
star
9

MTMaths.jl

Experimental symbolic mathematics CAS built on top of e-graphs rewriting and Metatheory.jl
Julia
2
star
10

metatheory-juliacon-2021-slides

Slides for the Metatheory.jl 2021 juliacon talk
TeX
2
star
11

concurrent-data-structures

C
1
star
12

kompute-go

C++
1
star
13

lineaedits.github.io

HTML
1
star
14

lwa-techniques

Implementation of algorithms described in "A coalgebraic perspective on linear weighted automata" and "Up-To Techniques for Weighted Systems"
TeX
1
star
15

osl-supermarket

C
1
star
16

calcurse-telegram-bot

Telegram bot that parses and handles calcurse events and todos through a git (dotfiles) repository
JavaScript
1
star