Beast code in Giters

Lorenzo's starred repositories

AntennaPod

A podcast manager for Android

Language:JavaGPL-3.0615000

arrow

Λrrow - Functional companion to Kotlin's Standard Library

Language:KotlinNOASSERTION610000

super-productivity

Super Productivity is an advanced todo list app with integrated Timeboxing and time tracking capabilities. It also comes with integrations for Jira, Gitlab, GitHub and Open Project.

Language:TypeScriptMIT896300

motor

Type-safe effectful state machines in Haskell

Language:Haskell9400

idris-crypto

Implementation of cryptographic primitives using Idris

Language:IdrisBSD-3-Clause12100

haskell-dijkstra

A Haskell implementation of Dijkstra's algorithm

Language:Haskell1600

rocksdb

A library that provides an embeddable, persistent key-value store for fast storage.

Language:C++GPL-2.02800900

rend

A memcached proxy that manages data chunking and L1 / L2 caches

Language:GoApache-2.0117700

EVCache

A distributed in-memory data store for the cloud

Language:JavaApache-2.0199700

glance

A visual Haskell

Language:HaskellApache-2.071600

mtl-style-example

A small example of using mtl style to unit test effectful code

Language:HaskellISC10600

clash-prelude

CLaSH prelude library containing datatypes and functions for circuit design

Language:HaskellNOASSERTION3100

aes-armcortexm

Fast, constant-time and masked AES assembly implementations for ARM Cortex-M3 and M4

Language:AssemblyCC0-1.08900

ajhc

A fork of jhc. And also a Haskell compiler.

Language:HaskellNOASSERTION13400

scalacaster

Purely Functional Algorithms and Data Structures in Scala

Language:Scala146500

hArduino

Control your Arduino board from Haskell, using the Firmata protocol

Language:HaskellNOASSERTION7200

cpphs

Tutorial on integrating C++ and Haskell

Language:C++8900

ivory-tower-stm32

Tower backend and Ivory board support package for the STM32 line of microcontrollers

Language:CBSD-3-Clause1200

ivory

The Ivory EDSL

Language:HaskellBSD-3-Clause38800

ion

An Ivory library inspired by Atom

Language:HaskellNOASSERTION1300

atom-msp430

Definitions for using Atom with the MSP430 microcontroller family.

Language:HaskellMIT1100

reflection

Reifies arbitrary Haskell terms into types that can be reflected back into terms

Language:HaskellBSD-3-Clause10200

rustfmt

Format Rust code

Language:RustApache-2.0589600

Mailspring

:love_letter: A beautiful, fast and fully open source mail client for Mac, Windows and Linux.

Language:CGPL-3.01531900

demo-cortex-m3

Demo Ajhc application on Cortex-M3 arch.

Language:C3900

openocd

The GNU MCU Eclipse OpenOCD

Language:CGPL-2.023400

atom

A DSL for embedded hard realtime applications.

Language:HaskellNOASSERTION26800

Copilot

A (Haskell DSL) stream language for generating hard real-time C code.

Language:HaskellNOASSERTION14700

ChibiOS

Read only mirror of SVN ChibiOS repository at https://sourceforge.net/projects/chibios/

Language:CGPL-3.068900

stlink

Open source STM32 MCU programming toolset

Language:CBSD-3-Clause428700