Skip to content
View paraseba's full-sized avatar
54 followers · 0 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Block or report paraseba

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • enum_field Public

    Enables Active Record attributes to point to enum like objects, by saving in your database only an integer ID

    Ruby 6 8 MIT License Updated Jan 18, 2023

  • typed-typechecker Public

    A GADT based typechecker for the typed lambda calculus

    Haskell Updated Jan 5, 2023

  • advent-of-code-2022 Public

    My solutions to Advent of Code '22

    Haskell 1 GNU General Public License v3.0 Updated Dec 26, 2022

  • programming-and-proving-in-agda Public

    Exercises for "Programming and Proving in Agda"

    Agda Updated Dec 11, 2022

  • dtlc Public

    Dependently typed lambda calculus

    Haskell GNU General Public License v3.0 Updated Dec 8, 2022

  • try-nomad Public

    Test project to try HashCorp's Nomad and Consul

    Nix 1 GNU General Public License v3.0 Updated Oct 24, 2021

  • faker Public

    Clojure library for fake data generation, port of ruby faker

    Clojure 83 12 Eclipse Public License 1.0 Updated Nov 26, 2020

  • kotlin-brainfuck Public

    Learning Kotlin by implementing a (bad) brainfuck evaluator

    Kotlin Updated Oct 22, 2020

  • conceptual-mathematics-in-lean Public

    Conceptual Mathematics exercises using Lean theorem prover

    math category-theory lean
    Lean 3 3 Updated Oct 2, 2020

  • topology-janich Public

    Lean proves for "Topology by Klaus Jänich"

    Lean Updated Sep 10, 2020

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix Other Updated May 25, 2020

  • receta-pan Public

    Ayuda para hacer pan de fermentacion natural

    TeX 1 Updated May 6, 2020

  • scaladores-may-2018-talk Public

    A talk I gave at the São Paulo Scala meetup

    TeX 4 GNU General Public License v3.0 Updated Nov 7, 2018

  • hbf Public

    An optimizing Brainfuck compiler and evaluator

    haskell brainfuck
    Haskell 4 1 GNU General Public License v3.0 Updated Jul 4, 2018

  • hindent Public

    Forked from mihaimaruseac/hindent

    Haskell pretty printer

    Haskell Other Updated Jun 30, 2018

  • blog Public

    Personal blog

    HTML Updated Jun 2, 2018

  • Euler-Maruyama Public

    Forked from mnbossa/Euler-Maruyama

    Numeric integrator of SDE using the Euler–Maruyama method

    Haskell MIT License Updated Nov 23, 2017

  • pearls-of-funct-alg-design Public

    Reading the book Pearls of Functional Algorithm Design

    Haskell 1 1 Updated Oct 29, 2017

  • nix-serve Public

    Forked from edolstra/nix-serve

    A standalone Nix binary cache server

    Perl Updated Oct 10, 2017

  • dhall-haskell Public

    Forked from dhall-lang/dhall-haskell

    A configuration language guaranteed to terminate

    Haskell BSD 3-Clause "New" or "Revised" License Updated Oct 1, 2017

  • alg-coalg-methods Public

    Overview and main results as I read the book

    Haskell 1 Updated Sep 25, 2017

  • testrelease Public

    Updated Sep 16, 2017

  • blog-1 Public

    Forked from Profpatsch/blog

    My blog (shake static builder & content)

    Haskell Updated Sep 4, 2017

  • nixosvm Public

    Create a NixOs VirtualBox VM from the Nixos ISO

    JavaScript 1 Updated May 25, 2016

  • spacemacs Public

    Forked from syl20bnr/spacemacs

    A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

    Emacs Lisp Updated May 18, 2016

  • rrss Public

    Ring Redis Session Store

    Clojure 16 1 Updated Apr 30, 2016

  • squeedo Public

    Forked from TheClimateCorporation/squeedo

    clojure core.async based amazon SQS message processing

    Clojure Apache License 2.0 Updated Jan 4, 2016

  • clj-http Public

    Forked from dakrone/clj-http

    An idiomatic clojure http client wrapping the apache client. Offically supported version.

    Clojure MIT License Updated Oct 15, 2015

  • haskell-brainfuck Public

    Haskel brainfuck interpreter

    Haskell 12 5 MIT License Updated Apr 19, 2015

  • packages Public

    Forked from cljsjs/packages

    Javascript libraries packaged up with Google Closure externs

    JavaScript Updated Mar 4, 2015