• Stars
    star
    1
  • Language
    C
  • License
    GNU General Publi...
  • Created over 10 years ago
  • Updated over 9 years ago

Reviews

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

Repository Details

ASUS Zenbook fan driver for Linux

More Repositories

1

ocaml-multicont

multi-shot continuations in OCaml
OCaml
35
star
2

inf-thesis-latex-cls

A LaTeX Class for Informatics theses at The University of Edinburgh
TeX
24
star
3

phd-dissertation

A summary of my activities during the past four years
TeX
24
star
4

pthandlers

an encoding of affine effect handlers using pthreads
C
13
star
5

gocaml

a moral encoding of the control flow primitives of Go in OCaml using effect handlers
OCaml
8
star
6

h

an experimental basic imperative procedural language with effect handlers
Rust
6
star
7

hx

an effect handler-oriented programming language
OCaml
6
star
8

best-aalborg-songbook

BEST Aalborg Songbook
Makefile
4
star
9

t20

Triple 20: A domain specific language for kernel-to-kernel transformations.
Dart
4
star
10

generic-count

implementing generic count using undelimited continuations, delimited continuations, and effect handlers
OCaml
4
star
11

programming

Haskell
3
star
12

ocaml-libctrl

a playground library for various control abstractions coded on top of effect handlers
OCaml
3
star
13

msc-dissertation

MSc Dissertation repository
Makefile
2
star
14

links-ocaml-handlers-compiler-abstract

Extended abstract about the Links with effect handlers compiler
TeX
2
star
15

hat

Small concatenate (cat) clone written in Haskell.
Haskell
1
star
16

hank

a research programming language based on handlers
OCaml
1
star
17

llama-compiler

An example of interfacing with the backend of the OCaml compiler
OCaml
1
star
18

mandrilapp

HTML
1
star
19

aoc2023

an attempt to solve Advent of Code 2023 using the Links programming language
1
star
20

mandriljulekalender

Mandriljulekalender
JavaScript
1
star
21

lambda-eff-row

An interactive implementation of the lambda-eff-row calculus
OCaml
1
star