plumenator/busyhask

Language: Haskell - Size: 5.86 KB - Last synced: 2 days ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0

plumenator/ocaml5-tutorial Fork of ocaml-multicore/ocaml5-tutorial

A hands-on tutorial on the new parallelism features in OCaml 5

Size: 43 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

plumenator/learn-ocaml-workshop Fork of janestreet/learn-ocaml-workshop

Exercises and projects for Jane Street's OCaml Workshop

Size: 2.95 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

plumenator/.emacs.d

Language: Emacs Lisp - Size: 82 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

plumenator/market-data-aggregator

Language: Rust - Size: 125 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

plumenator/Advent-of-Code-2023

Language: Rust - Size: 12.2 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 0

plumenator/tlaplus-study-group

Size: 1.95 KB - Last synced: 9 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

plumenator/clrs-nim

Examples and solutions to exercises from CLRS in Nim

Language: Nim - Size: 13.7 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

plumenator/exercism

Language: Nim - Size: 255 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

plumenator/18S191 Fork of mitmath/computational-thinking

Course 18.S191 at MIT, Spring 2021 - Introduction to computational thinking with Julia:

Size: 35.4 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

plumenator/haskell-study-plan Fork of soupi/haskell-study-plan

An opinionated list of resources for learning Haskell

Size: 137 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

plumenator/Advent-of-Code-2022

Language: Python - Size: 11.5 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

plumenator/rustlings Fork of rust-lang/rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language: Rust - Size: 2.1 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

plumenator/plfa-exercises Fork of gdahia/plfa-exercises

Solved exercises for https://plfa.github.io/

Language: Agda - Size: 608 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

plumenator/emacs-rust-config Fork of rksm/emacs-rust-config

emacs.d files for making Emacs a Rust development environment

Size: 25.4 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

plumenator/awesome-rust-mentors Fork of RustBeginners/awesome-rust-mentors

A list of rust lang mentors tagged by topics of interest

Size: 171 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

plumenator/rc5_test Fork of mintlayer/rc5_test

RC5 recruitment test

Language: Rust - Size: 34.2 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

plumenator/tonic Fork of hyperium/tonic

A native gRPC client & server implementation with async/await support.

Size: 76.4 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

plumenator/rmob Fork of tenx-tech/rmob

Arr! mob - a cli swiss army knife fer shippin' code together

Size: 154 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

plumenator/Cracking-The-Coding-Interview-in-Python

Language: Python - Size: 11.8 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

plumenator/Cracking-The-Coding-Interview-in-C-

Language: C++ - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

plumenator/practical-fm Fork of ligurio/practical-fm

A gently curated list of companies using verification formal methods in industry

Size: 163 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

plumenator/async-chat Fork of ProgrammingRust/async-chat

Example code from Chapter 19, Asynchronous Programming: an asynchronous chat client and server

Size: 11.7 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

plumenator/amulet Fork of amuletml/amulet

An ML-like functional programming language

Size: 3.93 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

plumenator/hid-examples Fork of bravit/hid-examples

Examples to accompany the book "Haskell in Depth"

Size: 2.97 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

plumenator/learn-fp Fork of dehun/learn-fp

learn-by-doing course/tutorial for functional programming on scala

Size: 1.19 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

plumenator/agda Fork of agda/agda

Agda is a dependently typed programming language / interactive theorem prover.

Size: 127 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

plumenator/up-to-date-real-world-haskell Fork of tssm/up-to-date-real-world-haskell

I'm trying to update the Real World Haskell book

Size: 1.08 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

plumenator/fp-course Fork of system-f/fp-course

Functional Programming Course

Language: Haskell - Size: 3.82 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

plumenator/advent-of-c--2021

Advent of Code 2021 in C++

Language: C++ - Size: 124 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

plumenator/advent-of-haskell-2021

Advent of Code 2021 in Haskell

Language: Haskell - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

plumenator/unison Fork of unisonweb/unison

A friendly programming language from the future

Language: Haskell - Size: 22.6 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

plumenator/learn-tt Fork of jozefg/learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

Size: 27.3 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/haskell-resources Fork of cohomolo-gy/haskell-resources

A List of Foundational Haskell Papers

Size: 34.2 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

plumenator/elements-of-rust Fork of ferrous-systems/elements-of-rust

rust style and philosophy

Size: 90.8 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

plumenator/scala-starter Fork of seyed/scala-starter

Size: 30.3 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

plumenator/TaskScheduler Fork of Portland-Functional-Programming/TaskScheduler

Size: 260 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

plumenator/essential-slick-code Fork of underscoreio/essential-slick-code

Source Code for the examples in Essential Slick

Size: 1.24 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

plumenator/reactive-programming-scala Fork of sjuvekar/reactive-programming-scala

Size: 123 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/essential-play-code Fork of underscoreio/essential-play-code

Exercises and solutions for Underscore's Essential Play

Size: 2.12 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

plumenator/SICP-in-Haskell Fork of chris-taylor/SICP-in-Haskell

Size: 203 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

plumenator/LondonHUG Fork of chris-taylor/LondonHUG

Presentation/code from my talk at London HUG

Size: 337 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

plumenator/capsule Fork of capsule-rs/capsule

A framework for network function development. Written in Rust, inspired by NetBricks and built on DPDK.

Language: Rust - Size: 856 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

plumenator/types-as-specifications Fork of tdietert/types-as-specifications

Size: 39.1 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

plumenator/purescript-book Fork of purescript-contrib/purescript-book

Sources for the PureScript book

Size: 6.27 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

plumenator/plt Fork of steshaw/plt

λΠ Programming Language Theory

Size: 164 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/memoise Fork of ryantrinkle/memoise

Size: 416 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

plumenator/CTfP-2021 Fork of codereport/CTfP-2021

Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.

Language: C++ - Size: 6.85 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

plumenator/learntla Fork of hwayne/learntla

A TLA+ guide

Size: 15.4 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

plumenator/scala Fork of exercism/scala

Exercism exercises in Scala.

Size: 1.2 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

plumenator/handsonscala Fork of handsonscala/handsonscala

Discussion and and code examples for the book Hands-on Scala Programming

Size: 56.4 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/Compiler-for-Scheme Fork of pavenvivek/Compiler-for-Scheme

The compiler for subset of scheme developed as part of P523

Size: 190 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

plumenator/cyberpunk_tomorrow Fork of hidemin1225/cyberpunk_tomorrow

Language: Python - Size: 71.3 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/plfa-exercise Fork of AlistairB/plfa-exercise

The exercises of book plfa

Size: 35.2 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

plumenator/mips Fork of exercism/mips

Exercism exercises in MIPS Assembly.

Size: 3.79 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/website-copy Fork of exercism/website-copy

A repository for exercism's website's copy

Size: 4.03 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/rust-analyzer Fork of exercism/rust-analyzer

A static analyzer for Rust

Size: 192 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/python Fork of exercism/python

Exercism exercises in Python.

Size: 2.44 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/rust Fork of exercism/rust

Exercism exercises in Rust.

Size: 2.26 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/haskell Fork of exercism/haskell

Exercism exercises in Haskell.

Size: 1.91 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/one-day-one-plot Fork of gre/one-day-one-plot

#creativecoding Plotting done with rust – published on Twitter @greweb with #plottingtwitter

Size: 21.6 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/language-zig Fork of jonascarpay/language-zig

Size: 76.2 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/nix-language-server Fork of ebkalderon/nix-language-server

Language server for the Nix language (WIP)

Size: 938 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

plumenator/coin-mixer-challenge

Language: Rust - Size: 40 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/applied-fp-course Fork of qfpl/applied-fp-course

Applied Functional Programming Course - Move from exercises to a working app!

Size: 629 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

plumenator/advent-of-rust-2020

Advent of Code 2020 in Rust

Language: Rust - Size: 81.1 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/software-design-in-haskell Fork of graninas/software-design-in-haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

Size: 415 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 1 - Forks: 0

plumenator/toy-payment-engine

Language: Rust - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/ben-or-randomized-consensus

A simulator for Ben-Or’s Randomized Consensus Algorithm

Language: Rust - Size: 211 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 3 - Forks: 0

plumenator/january-tests-haskell

Language: Haskell - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/midokura-take-home-challenge

Language: C - Size: 121 KB - Last synced: about 1 year ago - Pushed: about 11 years ago - Stars: 0 - Forks: 0

plumenator/code

Just stuff, really.

Language: Haskell - Size: 8.28 MB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

plumenator/sorted-squares

Take a sorted list of numbers and return a sorted list of their squares

Language: Rust - Size: 1000 Bytes - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

plumenator/budget-allocation-problem

Language: Haskell - Size: 76.2 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

plumenator/gp-zurihac-2020 Fork of well-typed/gp-zurihac-2020

Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming

Size: 180 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

plumenator/Mira Fork of AidanDelaney/Mira

A library for manipulating finite automata

Size: 223 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

plumenator/hacker-rank-interview-prep-haskell

Language: Haskell - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

plumenator/property-based-testing-workshop Fork of markhibberd/property-based-testing-workshop

Size: 26.4 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

plumenator/futures-rs Fork of rust-lang/futures-rs

Zero-cost futures and streams in Rust

Language: Rust - Size: 14.1 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

plumenator/misc-haskell-interview-problems

Language: Haskell - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

plumenator/concourse-helm-resource Fork of linkyard/concourse-helm-resource

Deploy to kubernetes helm from your concourse.ci.

Language: Shell - Size: 133 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

plumenator/better-defaults Fork of dustacio/better-defaults

A small number of better defaults for Emacs

Language: Emacs Lisp - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

plumenator/website Fork of kubernetes/website

Kubernetes website and documentation repo:

Language: HTML - Size: 203 MB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

plumenator/swiper Fork of abo-abo/swiper

Ivy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. Oh, man!

Language: Emacs Lisp - Size: 5.7 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

plumenator/untry Fork of japaric-archived/untry

Convert `try!()` into `?`s

Language: Rust - Size: 12.7 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

plumenator/rust-clippy Fork of rust-lang/rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code

Language: Rust - Size: 2.75 MB - Last synced: about 1 year ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

plumenator/failure-learn

Learn the failure crate for Rust

Language: Rust - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

plumenator/iron Fork of iron/iron

An Extensible, Concurrent Web Framework for Rust

Language: Rust - Size: 528 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

plumenator/git Fork of git/git

Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

Language: C - Size: 184 MB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

plumenator/fiximulator

Automatically exported from code.google.com/p/fiximulator

Language: Java - Size: 16.8 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

plumenator/sicp

SICP example code and exercises in Haskell

Size: 133 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0