eranmeir

Sufa-Suffix-Array-Csharp

A suffix array implementation in C#

urweb-mdl

Ur/Web binding to Google's Material Design Lite

aws-sdk-go

AWS SDK for the Go programming language.

bitstarter

bootstrap-vz

Bootstrap Debian images for virtualized environments

dispatch-github

GitHub integration for dispatch (reboot)

efp

Implementing Wadler's "The essence of functional programming"

emacs-config

emacs.d

Here is my .emacs.d for public perusal.

emacs24-starter-kit

A cleaner version of the literate starter kit based on Emacs24

eranmeir.github.io

fastapi-cloudauth

Simple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).

homebrew-boneyard

:skull: Archive of formulae removed from the Homebrew package manager

homebrew-core

:beers: Core formulae for the Homebrew package manager

homebrew-ur

Homebrew tap for installing Ur/Web and mlton

Idris-dev

A Dependently Typed Functional Programming Language

incubator-druid

Apache Druid (Incubating) - Column oriented distributed data store ideal for powering interactive applications

Leisure

Lazy functional programming language and environment with support for metaprogramming. Click the link below for more details.

mono

Mono open source ECMA CLI, C# and .NET implementation.

nmap

Nmap - the Network Mapper. Github mirror of official SVN repository.

Oak

A Scalable Concurrent Key-Value Map for Big Data Analytics

plutus

The Plutus language implementation and tools

plutus-pioneer-program

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.

psutil

Cross-platform lib for process and system monitoring in Python

SAFEbnb

synchrobench

A benchmark to compare synchronization techniques for multicore programming

urweb

The Ur/Web programming language