Yo Lulkin

Enterprise. 🦄 The Enterprise™ programming language

awesome-idris. 𝛌 Awesome Idris resources

zen-signals. ☯ The simplest signal library possible

apalachin. 💬 An Erlang's ChicagoBoss websockets team chat, using Cowboy server and PostgreSQL

Enterprise-Web3.0. Enterprise™ for the Web3.0™

vault-desktop. 🔑 [really] safe password management desktop UI

zealot. λ Server as a function for Node.js

class-lists. A simple javascript utility for conditionally joining class names together, inspired by classNames but with a twist.

quantits. Quantities in Typescript, Idris influenced

typenshtein. A weighted levenshtein that takes typiness into consideration

shoot. A helper to take shots on BrowserStack

to-be-or-not-to-be. 🎭 Matchers are good. They make your code look like English. And Hamlet is the ultimate expression of the English language.

bank-crawlers-hapoalim. A crappy crawler for your crappy Hapoalim account

zen-router. ☯ The simplest router possible

tmpemail. Creates a new email and polls for received emails using guerrilla mail.

vault-mobile. 🔑 [really] safe password management mobile UI

treetop-brainfuck. Fuck, brain, brainfuck. In ruby. With treetop.

petster. Code for the tutorial

mappersmith-aws. Mappersmith middleware for AWS Signature Version 4

async-js. ⤨ A talk about async stuff

trylogic. like tryruby but for propositional logic.

engage.

yarn-lock-check. Checks yarn locks in your repo for incorrect registries

fract. A study in functional/reactive architecture

imperative-promise. TypeScript

tdd-idris. just exercises

table2png. Simple web app that receives an HTML table and outputs a cropped PNG

user_agent_info. Retrieves user agent and OS info based on request string

weighted-levenshtein. A weighted levenshtein :|

syns6. TypeScript