A L Manning (A-Manning)

A-Manning

Geek Repo

Location:Singapore

Home Page:a-manning.github.io

Github PK Tool:Github PK Tool

A L Manning's repositories

Language:CoffeeScriptLicense:MITStargazers:4Issues:6Issues:2

atom-fstar

Syntax highlighting for F* in Atom Editor

Language:ShellLicense:Apache-2.0Stargazers:3Issues:2Issues:0
Language:ShellStargazers:2Issues:3Issues:0

FStar

An ML-like language aimed at program verification

Language:F*License:Apache-2.0Stargazers:2Issues:2Issues:0

tensors

Tensors in Haskell

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

aoc-2020

Advent of Code 2020 Solutions

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:2Issues:0
Language:CSSLicense:MITStargazers:1Issues:3Issues:0

atom-fstar-mode

An IDE for F* in Atom

Language:CoffeeScriptLicense:MITStargazers:1Issues:3Issues:0

bls12_381

Implementation of the BLS12-381 pairing-friendly elliptic curve group

Language:RustLicense:NOASSERTIONStargazers:1Issues:1Issues:0

cgminer_zp

CGMiner for Zen Protocol (Sha3)

Language:CLicense:NOASSERTIONStargazers:1Issues:3Issues:0

FSharp.Compatibility

Compatibility libraries for F#

Language:F#Stargazers:1Issues:2Issues:0

FSharp_i3wm

A library to control i3wm from F#, through i3-msg

Language:F#Stargazers:1Issues:2Issues:0

FSharpx.Collections

FSharpx.Collections is a collection of datastructures for use with F# and C#.

Language:F#License:NOASSERTIONStargazers:1Issues:2Issues:0

i3blocks-multicore

A multicore CPU monitor block for i3blocks.

Language:F#Stargazers:1Issues:2Issues:0
Language:OCamlLicense:NOASSERTIONStargazers:1Issues:1Issues:0

qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

Language:CLicense:GPL-2.0Stargazers:1Issues:2Issues:0

tv

A basic HDMI-CEC client in OCaml to control my TV

Language:OCamlStargazers:1Issues:2Issues:0

a-manning.github.io

My personal blog

Language:HTMLStargazers:0Issues:2Issues:0

libes

library of encryption scheme(s) is a collection of ECIES variants

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

minstant

Performant time measuring in Rust

License:Apache-2.0Stargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection & NixOS

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

per-directory-history

Per directory history for zsh, as well as global history, and the ability to toggle between them with ^G.

Language:ShellLicense:ZlibStargazers:0Issues:2Issues:0

rust-signals

Zero-cost functional reactive Signals for Rust

License:MITStargazers:0Issues:0Issues:0

serde

Serialization framework for Rust

License:Apache-2.0Stargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

split

Standard Haskell list splitting library.

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

tonic

A native gRPC client & server implementation with async/await support.

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

visualfsharp

The F# compiler, FSharp.Core library, and tools for F#

Language:F#License:MITStargazers:0Issues:2Issues:0