mariszo Goto Github PK

cortex-m-quickstart

Template to develop bare metal applications for Cortex-M microcontrollers

cortex-m-rtic

Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers

crypto-ecosystems

A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems

dbsafe

dbsafe – A helper library that supports writing database integration test for .NET

debugger-hs

Write your GDB scripts in Haskell!

deltachat-core-rust

Delta Chat Rust Core library, used by Android/iOS/desktop apps and bindings

dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

detectron

FAIR's research platform for object detection research, implementing popular algorithms like Mask R-CNN and RetinaNet.

dhall-lang

Maintainable configuration files

diagram

Playing with Haskell Diagrams

diem

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

digestive-functors-aeson

Run digestive-functors against a JSON document

disco

A distributed algorithms research tool in Haskell

distributed

CH/OTP Test Task

distributed-file-system

A distributed file system implemented using Servant and REST

do-notation

:m: generalized do-notation for monads and indexed monads

docker

docopt.hs

A command-line interface description language and parser that will make you smile

dot-utils

A set of small command-line tools for transforming GraphViz dot-files

dotfiles

drill

Drill is a HTTP load testing application written in Rust inspired by Ansible syntax

drone-core

The core crate for Drone, an Embedded Operating System.

dunai

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

eden

the project Euler Development ENgine

eduos-rs

A teaching operating system written in Rust

entityframework6

This is the codebase for Entity Framework 6 (previously maintained at https://entityframework.codeplex.com). Entity Framework Core is maintained at https://github.com/aspnet/EntityFrameworkCore.

eslint-config-cleanjs

An eslint config which reduces JS to a pure functional language

ethereum-analyzer

An Ethereum contract analyzer.

exa

Replacement for 'ls' written in Rust.

existentials

A type-level DSL for placing existential constraints on some arguments of a type constructor