Projects in Awesome Lists by paraseba
A curated list of projects in awesome lists by paraseba .
https://github.com/paraseba/cssgen
Generate CSS from clojure code with an embedded DSL
Last synced: 18 Jun 2025
https://github.com/paraseba/faker
Clojure library for fake data generation, port of ruby faker
Last synced: 18 Jun 2025
https://github.com/paraseba/lein-reload
Leiningen plugin. Reload namespaces in modified files
Last synced: 18 Jul 2025
https://github.com/paraseba/resource-url
Clojure library for URL generation
Last synced: 18 Jun 2025
https://github.com/paraseba/clji18n
Simple internationalization for Clojure
Last synced: 18 Jun 2025
https://github.com/paraseba/enum_field
Enables Active Record attributes to point to enum like objects, by saving in your database only an integer ID
Last synced: 18 Jun 2025
https://github.com/paraseba/scaladores-may-2018-talk
A talk I gave at the São Paulo Scala meetup
Last synced: 07 Feb 2026
https://github.com/paraseba/santander
Selenium driver script para la página del santander argentina
Last synced: 18 Jun 2025
https://github.com/paraseba/conceptual-mathematics-in-lean
Conceptual Mathematics exercises using Lean theorem prover
Last synced: 29 Jul 2025
https://github.com/paraseba/filter_attr
A rails plugin to help with model attributes mass assignment and parameter filtering in controllers.
Last synced: 22 Jul 2025
https://github.com/paraseba/unk
A manipulable, pluggable, memoization framework for Clojure
Last synced: 18 Jun 2025
https://github.com/paraseba/nixosvm
Create a NixOs VirtualBox VM from the Nixos ISO
Last synced: 18 Jun 2025
https://github.com/paraseba/pearls-of-funct-alg-design
Reading the book Pearls of Functional Algorithm Design
Last synced: 18 Jun 2025
https://github.com/paraseba/clojure-tic-tac-toe-presentation
Presentation about Clojure for FP newbies, using tic-tac-toe as an example
Last synced: 19 Feb 2026
https://github.com/paraseba/advent-of-code-2022
My solutions to Advent of Code '22
Last synced: 21 Jul 2025
https://github.com/paraseba/clj-deps
Scan files generating a graph of namespace dependencies
Last synced: 18 Jun 2025
https://github.com/paraseba/try-nomad
Test project to try HashCorp's Nomad and Consul
Last synced: 01 Jul 2025
https://github.com/paraseba/receta-pan
Ayuda para hacer pan de fermentacion natural
Last synced: 03 Feb 2026
https://github.com/paraseba/typed-typechecker
A GADT based typechecker for the typed lambda calculus
Last synced: 18 Jun 2025
https://github.com/paraseba/kotlin-brainfuck
Learning Kotlin by implementing a (bad) brainfuck evaluator
Last synced: 18 Jun 2025
https://github.com/paraseba/topology-janich
Lean proves for "Topology by Klaus Jänich"
Last synced: 19 Feb 2026
https://github.com/paraseba/alg-coalg-methods
Overview and main results as I read the book
Last synced: 12 Oct 2025
https://github.com/paraseba/programming-and-proving-in-agda
Exercises for "Programming and Proving in Agda"
Last synced: 31 Jan 2026