Pinned Repositories
Atheos
A self-hosted browser-based cloud IDE, updated from Codiad IDE
atsamd
Target atsamd21 microcontrollers using rust
edyll
hakyll compiler for single page web app's
edyll-purs
Web based editing and generation of static web sites
felix
The Felix Programming Language
felixocc
Wrapper to the open cascade modelling library
fixed-nav
Responsive, fixed and touch friendly one page navigation with animated scrolling.
hakyll-dir-list
Hakyll extension which supports the creation of hierarchical menus from source files in directories and single page sites.
hyper
Type-safe, statically checked composition of HTTP servers
hyper-pux-example
An example of using hyper server with pux client
freylax's Repositories
freylax/hakyll-dir-list
Hakyll extension which supports the creation of hierarchical menus from source files in directories and single page sites.
freylax/Atheos
A self-hosted browser-based cloud IDE, updated from Codiad IDE
freylax/atsamd
Target atsamd21 microcontrollers using rust
freylax/edyll
hakyll compiler for single page web app's
freylax/edyll-purs
Web based editing and generation of static web sites
freylax/felix
The Felix Programming Language
freylax/felixocc
Wrapper to the open cascade modelling library
freylax/hyper
Type-safe, statically checked composition of HTTP servers
freylax/hyper-pux-example
An example of using hyper server with pux client
freylax/libtmtmc
A small, simple, useful terminal emulation library.
freylax/lsm303agr
Interface for the LSM303AGR accelerometer + magnetometer
freylax/masonry-heater
freecad model of masonry heater
freylax/pure-c
C backend for PureScript
freylax/purescript
A strongly-typed language that compiles to JavaScript
freylax/purescript-bridge
Create PureScript datatypes from Haskell datatypes
freylax/purescript-native
A native compiler backend for PureScript (via C++ or Golang)
freylax/purescript-native-build
howto build applications with purescript native cpp
freylax/purescript-native-cpp-ffi
C++ foreign export implementations for the standard library
freylax/purescript-native-cpp-so
example for creating shared objects with purescript-native-cpp
freylax/purescript-native-repl
demonstration of purescript-native-cpp repl
freylax/purescript-trout-client
Automatically derived XHR clients for Trout routing types.
freylax/roof-timbering
freylax/servant-purescript
Translate servant API to purescript code, with the help of purescript-bridge.
freylax/sheet-music
Sheet music by freylax
freylax/solar-roof
Freecad Solar Roof
freylax/solvespace
Parametric 2d/3d CAD
freylax/spago
🍝 PureScript package manager and build tool powered by Dhall and package-sets
freylax/surjective-enum
rust macro to derive a surjective mapping from representation to enum
freylax/tutorials
Stack Builders Tutorials.
freylax/u8bits
rust macro to generate setters and getters for bits / bit ranges of u8 arrays