Pinned Repositories
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
Sufa-Suffix-Array-Csharp
A suffix array implementation in C#
urweb-mdl
Ur/Web binding to Google's Material Design Lite
eranmeir's Repositories
eranmeir/Sufa-Suffix-Array-Csharp
A suffix array implementation in C#
eranmeir/urweb-mdl
Ur/Web binding to Google's Material Design Lite
eranmeir/aws-sdk-go
AWS SDK for the Go programming language.
eranmeir/bitstarter
eranmeir/bootstrap-vz
Bootstrap Debian images for virtualized environments
eranmeir/dispatch-github
GitHub integration for dispatch (reboot)
eranmeir/efp
Implementing Wadler's "The essence of functional programming"
eranmeir/emacs-config
eranmeir/emacs.d
Here is my .emacs.d for public perusal.
eranmeir/emacs24-starter-kit
A cleaner version of the literate starter kit based on Emacs24
eranmeir/eranmeir.github.io
eranmeir/fastapi-cloudauth
Simple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).
eranmeir/homebrew-boneyard
:skull: Archive of formulae removed from the Homebrew package manager
eranmeir/homebrew-core
:beers: Core formulae for the Homebrew package manager
eranmeir/homebrew-ur
Homebrew tap for installing Ur/Web and mlton
eranmeir/Idris-dev
A Dependently Typed Functional Programming Language
eranmeir/incubator-druid
Apache Druid (Incubating) - Column oriented distributed data store ideal for powering interactive applications
eranmeir/Leisure
Lazy functional programming language and environment with support for metaprogramming. Click the link below for more details.
eranmeir/mono
Mono open source ECMA CLI, C# and .NET implementation.
eranmeir/nmap
Nmap - the Network Mapper. Github mirror of official SVN repository.
eranmeir/Oak
A Scalable Concurrent Key-Value Map for Big Data Analytics
eranmeir/plutus
The Plutus language implementation and tools
eranmeir/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.
eranmeir/psutil
Cross-platform lib for process and system monitoring in Python
eranmeir/SAFEbnb
eranmeir/synchrobench
A benchmark to compare synchronization techniques for multicore programming
eranmeir/urweb
The Ur/Web programming language