Wen Kokke

icon indicating a website link https://wen.works/

icon location Scotland icon location tries to walk the line between programming languages and ai

Results 9 repositories owned by Wen Kokke

schmitty

91
Stars
9
Forks
Watchers

Agda bindings to SMT-LIB2 compatible solvers.

verified publisher icon wenkokke

AutoInAgda

38
Stars
7
Forks
Watchers

Proof automation – for Agda, in Agda.

verified publisher icon wenkokke

fgg-gen

34
Stars
3
Forks
Watchers

Test suite for implementations of Featherweight Generic Go

verified publisher icon wenkokke

idris-sesh

23
Stars
1
Forks
Watchers

Session types in Idris2!

verified publisher icon wenkokke

msla2014

24
Stars
2
Forks
Watchers

wherein I implement several substructural logics in Agda

verified publisher icon wenkokke

priority-sesh

20
Stars
1
Forks
Watchers

Session Types with Priority in Linear Haskell

verified publisher icon wenkokke

sesh

37
Stars
0
Forks
Watchers

A library for deadlock-free session-typed communication in Rust.

verified publisher icon wenkokke

setup-agda

18
Stars
1
Forks
Watchers

Set up a specific version of Agda for your GitHub Actions workflow.

verified publisher icon wenkokke

starchild

16
Stars
2
Forks
Watchers

F* library for verifying neural networks.

verified publisher icon wenkokke