Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / lagunoff 8 repositories
Frontend developer obsessed with functional programming. Love FRP, purescript, idris and type theory. Do typescript for living
lagunoff/htmlt
Lightweight frontend library for GHC with JavaScript Backend
Language: Haskell - Size: 3.54 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 18 - Forks: 0
lagunoff/vector Fork of haskell/vector
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
Language: Haskell - Size: 2.4 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0
lagunoff/http-client Fork of snoyberg/http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
Language: Haskell - Size: 2.41 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0
lagunoff/th-compat Fork of haskell-compat/th-compat
Backward- (and forward-)compatible Quote and Code types
Language: Haskell - Size: 56.6 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
lagunoff/lagunoff.github.io
Language: JavaScript - Size: 62.9 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
lagunoff/htmlt-wasm
Experimental bridge between JavaScript and GHC Powered by WebAssembly
Language: Haskell - Size: 1020 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 6 - Forks: 0
lagunoff/wasi-reactor-gc-counterexample
Reproducing a bug in WASM backend of GHC
Language: HTML - Size: 72.3 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0
lagunoff/X11 Fork of xmonad/X11
A Haskell binding to the X11 graphics library.
Language: Haskell - Size: 597 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0
lagunoff/cabal-cargs Fork of dan-t/cabal-cargs
Extract the compiler arguments from a cabal file.
Language: Haskell - Size: 104 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
lagunoff/GildedRose-Refactoring-Kata-Solution Fork of emilybache/GildedRose-Refactoring-Kata
My own solution for GildedRose Refactoring Kata. Written in ruby.
Language: JavaScript - Size: 379 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0
lagunoff/typescript-freer 📦
Extensible Effects in typescript
Language: TypeScript - Size: 42 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 7 - Forks: 1
lagunoff/typescript-sql 📦
Language: JavaScript - Size: 271 KB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0
lagunoff/typescript-representable 📦
Language: TypeScript - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0
lagunoff/typescript-quickcheck 📦
Language: TypeScript - Size: 8.79 KB - Last synced: 3 days ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
lagunoff/X11-xft Fork of xmonad/X11-xft
Bindings to the Xft, X Free Type interface library, and some Xrender parts
Language: Haskell - Size: 45.9 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
lagunoff/ffmpeg-light Fork of acowley/ffmpeg-light
Minimal Haskell bindings to the FFmpeg library
Language: Haskell - Size: 268 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
lagunoff/idris-elm
The Elm architecture ported to Idris Programming language
Language: Idris - Size: 47.9 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 13 - Forks: 1
lagunoff/reflex-platform Fork of reflex-frp/reflex-platform
A curated package set and set of tools that let you build Haskell packages so they can run on a variety of platforms. reflex-platform is built on top of the nix package manager.
Size: 3.74 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
lagunoff/http-api-data Fork of fizruk/http-api-data
Converting to/from HTTP API data like URL pieces, headers and query parameters.
Language: Haskell - Size: 341 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 1
lagunoff/direct-sqlite Fork of IreneKnapp/direct-sqlite
Language: C - Size: 7.94 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
lagunoff/typescript-sdom
Fast and lightweight VirtualDOM alternative
Language: TypeScript - Size: 1.47 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 3 - Forks: 1
lagunoff/simplessh Fork of thoferon/simplessh
See https://hackage.haskell.org/package/simplessh
Language: Haskell - Size: 84 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
lagunoff/dns Fork of kazu-yamamoto/dns
DNS libary in Haskell
Language: Haskell - Size: 708 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
lagunoff/wai-1 Fork of yesodweb/wai
Haskell Web Application Interface
Language: Haskell - Size: 4.6 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
lagunoff/pthread Fork of tweag/pthread
Bindings for the pthread library
Language: Haskell - Size: 21.5 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
lagunoff/flat Fork of Quid2/flat
Principled and efficient binary serialization
Language: Haskell - Size: 1.29 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
lagunoff/htmlt-presentation
PowerPoint style slides introducing htmlt
Language: Haskell - Size: 58.6 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
lagunoff/haskell-x11-xft
Language: Haskell - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
lagunoff/pg-schema Fork of odr/pg-schema
Language: Haskell - Size: 304 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0
lagunoff/long-glitter-c
Language: C - Size: 1.27 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
lagunoff/cors-anywhere Fork of Rob--W/cors-anywhere
CORS Anywhere is a NodeJS reverse proxy which adds CORS headers to the proxied request.
Language: JavaScript - Size: 186 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0
lagunoff/typescript-concrete-optics
Very basic concrete optics in typescript
Language: TypeScript - Size: 101 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0
lagunoff/typescript-invertible-router
Type-safe bidirectional routing for typescript
Language: TypeScript - Size: 201 KB - Last synced: 1 day ago - Pushed: over 5 years ago - Stars: 2 - Forks: 0
lagunoff/tagsoup Fork of ndmitchell/tagsoup
Haskell library for parsing and extracting information from (possibly malformed) HTML/XML documents
Language: Haskell - Size: 1.33 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0
lagunoff/sodium Fork of SodiumFRP/sodium
Sodium - Functional Reactive Programming (FRP) Library for multiple languages
Size: 15.4 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
lagunoff/monad-xhr
Language: Haskell - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
lagunoff/selda Fork of valderman/selda
A type-safe, high-level SQL library for Haskell
Language: Haskell - Size: 999 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
lagunoff/jexp
Simple functional language embedded in JSON
Language: TypeScript - Size: 99.6 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
lagunoff/purescript-sdom Fork of paf31/purescript-sdom
An experiment in replacing the virtual DOM and avoiding diffing
Language: PureScript - Size: 101 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0
lagunoff/stitch Fork of intolerable/stitch
a lightweight CSS DSL for haskell
Language: Haskell - Size: 45.9 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0
lagunoff/purescript-chrome-devtools Fork of djoyner/purescript-chrome-devtools
A native Purescript interface to Chrome DevTools
Language: PureScript - Size: 12.7 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0
lagunoff/rtlwifi_new Fork of ghotiv/rtlwifi_new
A repo for the newest Realtek rtlwifi codes.
Language: C - Size: 12.7 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
lagunoff/jsverify Fork of jsverify/jsverify
Write powerful and concise tests. Property-based testing for JavaScript. Like QuickCheck.
Language: JavaScript - Size: 1.08 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
lagunoff/addressable Fork of sporkmonger/addressable
Addressable is a replacement for the URI implementation that is part of Ruby's standard library. It more closely conforms to RFC 3986, RFC 3987, and RFC 6570 (level 4), additionally providing support for IRIs and URI templates.
Language: Ruby - Size: 1.46 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
lagunoff/npo-frontend
Решение тестового задания для НПО «Компьютер»
Language: JavaScript - Size: 1010 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 1 - Forks: 1