Discover joaomilho/to-be-or-not-to-be Open Source project

𝛌 Awesome Idris resources

1,573

awesome-idris

Idris

364

zen-signals

☯ The simplest signal library possible

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

apalachin

Erlang

Enterprise-Web3.0

Enterprise™ for the Web3.0™

🔑 [really] safe password management desktop UI

vault-desktop

HTML

zealot

λ Server as a function for Node.js

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

class-lists

Transcript of a talk given at CurryOn

what-is-programming-curry-on

shoot

A helper to take shots on BrowserStack

A weighted levenshtein that takes typiness into consideration

typenshtein

Quantities in Typescript, Idris influenced

quantits

☯ The simplest router possible

zen-router

A crappy crawler for your crappy Hapoalim account

bank-crawlers-hapoalim

HTML

petster

Code for the tutorial

Erlang

treetop-brainfuck

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

☯⚛ The simplest router possible, for React

react-zen-router

tmpemail

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

Haskell

events

Rosh Hashana 2022

mappersmith-aws

Mappersmith middleware for AWS Signature Version 4

A study in functional/reactive architecture

fract

My slides about Treetop for Ruby Conf LA & UY

treetop-slides

JWT that works both on AWS and GCP's KMS

multicloud-jwt

reda

Rails Estado da Arte

A presentation on Exceptions, NullObjects, promises and the Maybe monad

fix-your-most-common-mistake-with-this-one-simple-trick

amazing-sort

Sorts arrays. Amazingly.

Checks yarn locks in your repo for incorrect registries

yarn-lock-check

like tryruby but for propositional logic.

trylogic

⤨ A talk about async stuff

async-js

A test using opa to contraint CDK stacks in TS

cdk-opa-test

A weighted levenshtein :|

weighted-levenshtein

graphql-federation-poc

poc-appsync-batching

Dojo realizado na UniRitter, em 31 de Maior de 2011

Ruby-Dojo-UniRitter-31-May

Retrieves user agent and OS info based on request string

user_agent_info

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

tdd-idris

just exercises

Idris

table2png

spray

imperative-promise