coord-e/mlml coord-e/mlml

  • Stars
    star
    50
  • Rank 561,930 (Top 12 %)
  • Language
    OCaml
  • License
    MIT License
  • Created about 5 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
coord-e/mlml
github

coord-e

Reviews

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

Repository Details

self-hosted compiler for a subset of OCaml

More Repositories

1

magicpak

🔨 Build minimal docker images without static linking
Rust
607
star
2

misskey-rs

✌️ Client library for Misskey 🥰
Rust
56
star
3

ccc

optimizing compiler for a subset of C language
C
32
star
4

scopion

a statically-typed programming language with powerful syntax
C++
31
star
5

expressi

Expression-oriented toy programming language written in Rust
Rust
19
star
6

kaisantantoudaijin

Discordの通話が解散できないオタクを解散させる解散担当大臣
Rust
17
star
7

cart

convert c/c++ code into well-formed ascii art
C++
13
star
8

r53ddns

command-line utility to update A record in Route53 with current global IP address
Rust
7
star
9

epgstation_exporter

Prometheus exporter for EPGStation metrics
Go
6
star
10

CopyBundleID

This Tweak adds a quick action shortcut to every app that will copy the app's bundle identifier.
Objective-C
6
star
11

slide-coinslt1000-slsa

5分でSLSA
CSS
6
star
12

ad-hoc-poly

Implementation of type classes
Haskell
6
star
13

impl-outsidein

Toy implementation of type inference for GADTs and TypeFamilies
Haskell
5
star
14

DSP6951

Library for DSP6951 DSP Radio IC.
C++
4
star
15

slide-specialseminar21-reimpl-functional-package-manager

純粋関数型パッケージマネージャの追実装
CSS
4
star
16

slide-type-class-impl

Haskellで作ってわかる型クラス
4
star
17

slide-coins20lt-outsidein-type-inference

OutsideIn(X) 型推論
CSS
3
star
18

oir

oir: OtakuAssembly Vol.2 第一章『データフロー最適化の実装』サンプル実装
C
3
star
19

mirakurun_exporter

Prometheus exporter for Mirakurun metrics
Go
3
star
20

article-ccc-backend

cccコンパイラのバックエンド
TeX
2
star
21

mkbookpdf

command-line utility for booklet printing
Rust
2
star
22

ili9328SPI

ILI9328 Driver Library for Arduino
C++
2
star
23

slide-coins20lt-misskey-rs

misskey-rs 紹介
CSS
2
star
24

rlenv

Scaffold reinforcement learning experiment environment
Python
2
star
25

discord-link2github

A bot for Discord that links Issue/PR to GitHub
JavaScript
2
star
26

vrm-render

(wip) VRM renderer CLI
TypeScript
2
star
27

bd

Bash Framework to accelerate your daily scripting
Shell
2
star
28

coord-e.com

Nix
2
star
29

slide-coins20lt-prove-using-ghc

"Theorem Proving using GHC" at coins20LT#1
1
star
30

serialmon

A simple UART monitor built with Arduino
C++
1
star
31

minidots

minimal sufficient dotfiles
Shell
1
star
32

discord-minutes

Create a minute of meeting in Discord using GCP's Speech API
JavaScript
1
star
33

dotfiles

my .files
Emacs Lisp
1
star
34

slide-ps1

PS1芸
1
star
35

GT20L16J1Y

GT20L16J1Y Japanese Font ROM Driver Library for Arduino
C++
1
star
36

sats

Toy DPLL and CDCL SAT solver implementation
Rust
1
star
37

runbot

Runbot runs your code on Discord using Wandbox API
Rust
1
star
38

linux_dvb_exporter

Prometheus exporter for DVB device metrics
Go
1
star
39

slack-send

Send message to Slack via webhook
Rust
1
star
40

pca9685

PCA9685 driver library
C++
1
star
41

slide-coins20lt-fold-for-all

fold for all
CSS
1
star
42

line-discord-webhook-adaptor

Adaptor between LINE Messaging API and Discord Webhooks.
JavaScript
1
star
43

eagle-libraries

My collection of libraries for Autodesk EAGLE
1
star
44

new-year-countdown

$ npx new-year-countdown
JavaScript
1
star
45

slide-coins20lt-rust-intro

Introduction to Rust
1
star