eamon-otuathail

CLIPCODEIreland

Pinned Repositories

clipcode-schema
Schema for semantic models
Language:TypeScript00
cubicaltt
Experimental implementation of Cubical Type Theory
Language:Haskell00
googletest
Google Test
Language:C++00
ngrx-store-localstorage
Simple syncing between @ngrx store and local storage
Language:TypeScript0 1 00
platform
Monorepo for ngrx codebase
Language:TypeScript00
runc
CLI tool for spawning and running containers according to the OCI specification
Language:Go00
rxjs
A reactive programming library for JavaScript
Language:TypeScript00
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Language:TypeScript0 1 00
yacctt
yacctt: Yet Another Cartesian Cubical Type Theory
Language:Haskell00
semantic-kernel
Integrate cutting-edge LLM technology quickly and easily into your apps
Language:C#21.7k 268 3.2k3.2k

eamon-otuathail's Repositories

eamon-otuathail/cubicaltt
Experimental implementation of Cubical Type Theory
Language:Haskell00
eamon-otuathail/googletest
Google Test
Language:C++00
eamon-otuathail/ngrx-store-localstorage
Simple syncing between @ngrx store and local storage
Language:TypeScript0 1 00
eamon-otuathail/platform
Monorepo for ngrx codebase
Language:TypeScript00
eamon-otuathail/runc
CLI tool for spawning and running containers according to the OCI specification
Language:Go00
eamon-otuathail/rxjs
A reactive programming library for JavaScript
Language:TypeScript00
eamon-otuathail/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Language:TypeScript0 1 00
eamon-otuathail/yacctt
yacctt: Yet Another Cartesian Cubical Type Theory
Language:Haskell00