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