robert y (freylax)

freylax

Geek Repo

Location:Germany

Github PK Tool:Github PK Tool

robert y 's repositories

hakyll-dir-list

Hakyll extension which supports the creation of hierarchical menus from source files in directories and single page sites.

Language:HaskellLicense:BSD-3-ClauseStargazers:3Issues:2Issues:2

Atheos

A self-hosted browser-based cloud IDE, updated from Codiad IDE

Language:JavaScriptStargazers:0Issues:0Issues:0

atsamd

Target atsamd21 microcontrollers using rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

edyll

hakyll compiler for single page web app's

Language:HaskellLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

edyll-purs

Web based editing and generation of static web sites

Language:PureScriptLicense:MITStargazers:0Issues:1Issues:0

felix

The Felix Programming Language

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

felixocc

Wrapper to the open cascade modelling library

Language:C++License:MITStargazers:0Issues:1Issues:0

hyper

Type-safe, statically checked composition of HTTP servers

Language:PureScriptLicense:MPL-2.0Stargazers:0Issues:0Issues:0

hyper-pux-example

An example of using hyper server with pux client

Language:PureScriptLicense:MPL-2.0Stargazers:0Issues:1Issues:0

libtmtmc

A small, simple, useful terminal emulation library.

Language:CStargazers:0Issues:0Issues:0

lsm303agr

Interface for the LSM303AGR accelerometer + magnetometer

Language:RustLicense:MITStargazers:0Issues:2Issues:0

masonry-heater

freecad model of masonry heater

Language:TeXStargazers:0Issues:1Issues:1

pure-c

C backend for PureScript

Language:PureScriptStargazers:0Issues:0Issues:0

purescript

A strongly-typed language that compiles to JavaScript

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

purescript-bridge

Create PureScript datatypes from Haskell datatypes

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

purescript-native

A native compiler backend for PureScript (via C++ or Golang)

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

purescript-native-build

howto build applications with purescript native cpp

Language:CMakeLicense:GPL-3.0Stargazers:0Issues:1Issues:0

purescript-native-cpp-ffi

C++ foreign export implementations for the standard library

Language:C++License:MITStargazers:0Issues:0Issues:0

purescript-native-cpp-so

example for creating shared objects with purescript-native-cpp

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:0

purescript-native-repl

demonstration of purescript-native-cpp repl

Language:MakefileLicense:GPL-3.0Stargazers:0Issues:1Issues:0

purescript-trout-client

Automatically derived XHR clients for Trout routing types.

Language:PureScriptLicense:MPL-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

servant-purescript

Translate servant API to purescript code, with the help of purescript-bridge.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

sheet-music

Sheet music by freylax

Stargazers:0Issues:1Issues:0

solar-roof

Freecad Solar Roof

Stargazers:0Issues:1Issues:0

solvespace

Parametric 2d/3d CAD

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

spago

🍝 PureScript package manager and build tool powered by Dhall and package-sets

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

surjective-enum

rust macro to derive a surjective mapping from representation to enum

Language:RustLicense:MITStargazers:0Issues:1Issues:0

tutorials

Stack Builders Tutorials.

Language:HaskellStargazers:0Issues:1Issues:0

u8bits

rust macro to generate setters and getters for bits / bit ranges of u8 arrays

Language:RustLicense:MITStargazers:0Issues:0Issues:0