Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by schonfinkel

A curated list of projects in awesome lists by schonfinkel .

https://github.com/schonfinkel/propositionsastypes

Palestra para o Grupo de Estudos em Lógica e Filosofia Formal da UFMA (GELF), baseado no artigo "Propositions as Types" de Philip Wadler.

Last synced: 22 Dec 2024

https://github.com/schonfinkel/regexplay

Readings from "A Play on Regular Expressions", 2010

haskell regular-expression

Last synced: 22 Dec 2024

https://github.com/schonfinkel/proof-plaza

Some experiments with the 'Coq Proof Assistant'. Includes notes about the Software Foundations series.

coq

Last synced: 22 Dec 2024

https://github.com/schonfinkel/emacs-latex-org-nix

A template project with an environment for LaTeX + Nix + Org-mode

emacs latex latex-template nix org-mode

Last synced: 22 Dec 2024

https://github.com/schonfinkel/duino

Playing with arduino in C++ (and maybe Rust?), platform.io and also Nix.

arduino cpp github-actions just justfile nix nix-flake platformio

Last synced: 22 Dec 2024

https://github.com/schonfinkel/internet-magic-money

(Unfinished) An analysis of the Close Price of some criptocurrencies using Pandas and Quandl's Bitcoin API.

Last synced: 22 Dec 2024

https://github.com/schonfinkel/sicp

Structure and Interpretation of Computer Programs

Last synced: 22 Dec 2024

https://github.com/schonfinkel/learning-spark

Learning some Apache Spark (and maybe some Scala)

Last synced: 22 Dec 2024

https://github.com/schonfinkel/schonfinkel

Linguistic nuances inexpressible outside it's original language...

Last synced: 15 Dec 2024

https://github.com/schonfinkel/horatius

Part of an interview process with the .NET stack, done the functional (first) way.

docker fsharp nix

Last synced: 22 Dec 2024

https://github.com/schonfinkel/scalata

Notes from the "Functional Programming with Scala" specialization on Coursera

Last synced: 22 Dec 2024

https://github.com/schonfinkel/jueves

It's a Telegram bot that tells users/groups whether today is jueves

fsharp telegram

Last synced: 22 Dec 2024

https://github.com/schonfinkel/servers

My personal servers in different cloud providers, configured declaratively with Terraform + NixOS

hcl linux nix nixos terraform

Last synced: 22 Dec 2024

https://github.com/schonfinkel/the-rust-path-to-reason

Small programs to help me learn Rust

Last synced: 22 Dec 2024

https://github.com/schonfinkel/learning

An ancient library with worthless code.

Last synced: 22 Dec 2024

https://github.com/schonfinkel/programmierung

C, Datenstruktur & Systemprogrammierung

c

Last synced: 22 Dec 2024