pukkamustard's repositories

effect-counter

How you should not implement a counter in Elm, but how you might want to test an Effects Manager.

Language:ElmStargazers:1Issues:0Issues:0

angstrom

Parser combinators built for speed and memory efficiency

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

brr

Browser programming toolkit for OCaml

License:NOASSERTIONStargazers:0Issues:0Issues:0

data-model

A basic implementation of the RDFJS Data Model

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:2Issues:0

driver

Dividat drivers and hardware test suites

Language:JavaScriptStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:0Issues:0

jsonld-ex

An implementation of JSON-LD for Elixir

Language:ElixirLicense:MITStargazers:0Issues:0Issues:0

KaiUI

Useful native UI components for KaiOS

Stargazers:0Issues:0Issues:0

libsodium

A modern, portable, easy to use crypto library.

License:NOASSERTIONStargazers:0Issues:0Issues:0

mirage-crypto

Cryptographic primitives for MirageOS

License:ISCStargazers:0Issues:0Issues:0

multicodec

Compact self-describing codecs. Save space by using predefined multicodec tables.

License:MITStargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:0Issues:0

obus

Pure OCaml implementation of the D-Bus protocol

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml-base32

Base32 encoding for OCaml (mirror of https://inqlab.net/git/ocaml-base32.git)

Language:OCamlStargazers:0Issues:1Issues:0

ocaml-stemmer

OCaml implementation of the Porter Stemming Algorithm

Language:CStargazers:0Issues:0Issues:0
Language:ElmStargazers:0Issues:4Issues:0

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

playdev

Game development environment for Dividat Play

Language:CSSStargazers:0Issues:0Issues:0

playos

A custom Linux system for running Dividat Play.

Language:NixStargazers:0Issues:3Issues:0
Language:C++Stargazers:0Issues:2Issues:0

racket-linkeddata

Linked data tooling for the Racket programming language (json-ld, eventually more)

Language:RacketLicense:NOASSERTIONStargazers:0Issues:3Issues:0

rdf-ex

An implementation of RDF for Elixir

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

reuse-tool

The tool for checking and helping with compliance with the REUSE recommendations

Stargazers:0Issues:0Issues:0

sparql-ex

An implementation of SPARQL for Elixir

License:MITStargazers:0Issues:0Issues:0

w3id.org

Website source code for w3id.org

Stargazers:0Issues:0Issues:0

webring

Make yourself a website

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

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