Pinned Repositories
aoc-2023
Advent of Code 2023 ☃️
athens
Free self-hosted desktop app: https://github.com/athensresearch/athens/releases; Paid tiers available through https://opencollective.com/athens; Try the demo at https://athensresearch.github.io/athens; Docs viewable at https://app.gitbook.com/@athensresearch/s/handbook/
creole_orthography
Vercel serverless function to convert between Louisiana Creole orthographies
crux-metabase-driver
django-map-widgets
Pluggable map widgets for Django Postgis fields
epitran
A tool for transcribing orthographic text as IPA (International Phonetic Alphabet)
generateCNF
Python program to generate DIMACS-style CNF files, some of them quite large
kokodri
Repository for the kokodri project 🐊
svelte-hcaptcha
An HCaptcha component for Svelte projects.
the-witness
A repository of Answer Set Programs designed to solve puzzles from "The Witness".
mrmikardo's Repositories
mrmikardo/svelte-hcaptcha
An HCaptcha component for Svelte projects.
mrmikardo/kokodri
Repository for the kokodri project 🐊
mrmikardo/the-witness
A repository of Answer Set Programs designed to solve puzzles from "The Witness".
mrmikardo/aoc-2023
Advent of Code 2023 ☃️
mrmikardo/athens
Free self-hosted desktop app: https://github.com/athensresearch/athens/releases; Paid tiers available through https://opencollective.com/athens; Try the demo at https://athensresearch.github.io/athens; Docs viewable at https://app.gitbook.com/@athensresearch/s/handbook/
mrmikardo/creole_orthography
Vercel serverless function to convert between Louisiana Creole orthographies
mrmikardo/crux-metabase-driver
mrmikardo/django-map-widgets
Pluggable map widgets for Django Postgis fields
mrmikardo/epitran
A tool for transcribing orthographic text as IPA (International Phonetic Alphabet)
mrmikardo/generateCNF
Python program to generate DIMACS-style CNF files, some of them quite large
mrmikardo/heroku3.py
This is the updated Python wrapper for the Heroku API V3. https://devcenter.heroku.com/articles/platform-api-reference The Heroku REST API allows Heroku users to manage their accounts, applications, addons, and other aspects related to Heroku. It allows you to easily utilize the Heroku platform from your applications.
mrmikardo/lisp-in-small-pieces
A Clerk notebook of the cult classic "LiSP in Small Pieces".
mrmikardo/mal
mal - Make a Lisp
mrmikardo/matcha
A collection of tools to manage and create Mochi cards.
mrmikardo/pedro-website
Pedro's web site :cat:
mrmikardo/sparkpost-postman-collection
A Postman collection for SparkPost
mrmikardo/static-quil
A leiningen template to generate static-quil projects
mrmikardo/supersonic
https://supersonic.clothing
mrmikardo/svelte-datagrid
Svelte data grid spreadsheet best best features and performance from excel
mrmikardo/tetris
Tetris in CLJS
mrmikardo/typography
Typography is a command-line program to help you learn to touchtype 🤓
mrmikardo/website
Jack's web site