German enigma machine implemented with pure functional programming
☆18Oct 26, 2020Updated 5 years ago
Alternatives and similar repositories for enigma
Users that are interested in enigma are comparing it to the libraries listed below
Sorting:
- boilerplate code, scripts, modules, data for Introduction to Machine Learning with Python☆16Jan 4, 2019Updated 7 years ago
- An Enigma machine in Ruby (rotors, reflectors, plugboard and all).☆18Sep 18, 2025Updated 5 months ago
- A Haskell Enigma machine simulator with rich display and machine state details.☆23Dec 2, 2022Updated 3 years ago
- Checkers game rendered in web browser using SVG and React, written in Scala.js☆21Dec 13, 2022Updated 3 years ago
- Backend for web-snake game to allow multiplayer matches. Playground for Akka Streams & HTTP.☆29Mar 1, 2017Updated 9 years ago
- A command-line utility for packaging and exporting Alfred workflows with ease☆27Oct 30, 2025Updated 4 months ago
- Provides domain models and codecs for common protocols☆28Oct 23, 2021Updated 4 years ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- WiseCash documentation (https://www.wisecashhq.com)☆25Jul 14, 2020Updated 5 years ago
- Automate Cisco LAN Switching Configuration using Ansible☆13Sep 4, 2020Updated 5 years ago
- Python Visual Hash, generate a visual random image associated with a string.☆11Apr 23, 2017Updated 8 years ago
- Windows app to remember + restore window positions☆11Aug 30, 2021Updated 4 years ago
- In addition to providing a solution to create and manage custom security controls and frameworks this repository provide an integration o…☆12Nov 14, 2023Updated 2 years ago
- Command Line Tool for macOS to analyze the validity of mobile provision files☆10Aug 25, 2020Updated 5 years ago
- Example implementation of SwiftLint and Travis CI☆10May 1, 2016Updated 9 years ago
- EventMachine based HTTP Request interface☆18Feb 17, 2009Updated 17 years ago
- A cli password storer and manager.☆10Sep 3, 2021Updated 4 years ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- Generate fake reviews using rnn and Yelp Datasets☆10Mar 18, 2017Updated 8 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45May 31, 2022Updated 3 years ago
- ☆14Dec 22, 2019Updated 6 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Akka Cluster for Value-at-Risk calculation☆14May 2, 2014Updated 11 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- Auto-built docker image with latest Nim devel version☆10Jul 21, 2023Updated 2 years ago
- Over-engineered tool for symlinking dotfiles☆37Nov 13, 2013Updated 12 years ago
- Automatic (re)compilation of Purescript code☆11Oct 12, 2022Updated 3 years ago
- Some tools for provability logic☆37Apr 16, 2018Updated 7 years ago
- (Archived) Jsonnet support for Visual Studio Code☆15Dec 13, 2019Updated 6 years ago
- Chrome extension: password generator from master key using PBKDF2 with SHA-256.☆19Sep 14, 2015Updated 10 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated 2 years ago
- A web-based, self-hosted Personal Information Manager (like Evernote), to store any information that cannot fit into your head, and not h…☆17Feb 9, 2011Updated 15 years ago
- pbrisbin.com source code, using the Yesod haskell web framework☆25Sep 30, 2025Updated 5 months ago
- You can team up with friends and meet them in the server because you can easily see them on the map.☆17Oct 25, 2017Updated 8 years ago
- Find useful stuff in pastebin☆23Apr 10, 2013Updated 12 years ago
- Hyperdrive - A Hypermedia Specification☆12Jan 30, 2018Updated 8 years ago
- Scrapes Adrian Cantrill's (cantrill.io) AWS courses and uploads the output to an S3 bucket hosting a static website☆12Sep 22, 2022Updated 3 years ago