KindaSloth/nixos-config

Stars
2
Language
Nix
Created 7 months ago
Updated 4 months ago

KindaSloth/nixos-config

KindaSloth

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

My NixOS config

Haskell4Noobs

Único roadmap de Haskell possível, do noob ao Thanos

solana-smart-contract

simple smart contract for transfer spl-tokens in solana, written in Rust.

Lambdinha

Lambda cube in Haskell

zod-express-endpoint

Create fully inferred typesafe express endpoints using zod schemas

lisp-to-js

Simple Lisp to JavaScript compiler written in Haskell :)

study-links

this is a list of links about languagues that I'm interested in at the moment.

my-blog

My blog to write about some cool tech stuff :)

Haskell-CRUD

the best CRUD in the world

ts-avl

AVL Tree in TypeScript.

Red-Black-Tree

Red-Black Tree written in Haskell

rust-json-parser

JSON Parser written in Rust using combine (not parsing nested yet, because Rust hates opaque types)

Transfer-cardano

simple plutus script to transfer ada

Auction-Cardano

Simple Auction Contract

Crowdfunding-Cardano

Crowdfunding smart contract

CSS-Parser

non-complete (because I'm lazy) CSS3 Parser written in Haskell using Parsec :)

nextjs-boilerplate

A simple boilerplate to work with TypeScript, React, NextJS and Styled Components!

nextjs-sass

a simple boilerplate for work with next.js, typescript, eslint + prettier, sass and css modules.

tiny-markdown-compiler

a timid markdown compiler written in Haskell.

little-computer

Little Computer 3 (aka LC-3) virtual machine written in Rust.

lc-rust

Simple implementation of Lambda Calculus in Rust

json-parser

Not completed JSON parser just to show parsers combinators in Haskell :)

PicPay-Ui-Clone

Clone da UI do app PicPay utilizando React Native.

bst-haskell

Binary Search Tree written in Haskell :)

kiwi-rs

hash-rs

HashTable implementation in Rust.

broke-bank

A broken transaction system made to test some database properties.

welloff-bank

A reliable transaction system for precise transaction handling and in-depth balance monitoring.

stripe-test

just testing stripe

software-foundations-lean

Implementing Software Foundations exercises in Lean4.

rescript-todo

todo list write in rescript, this is just to test the syntax

Portfolio

Portfolio/site pessoal criado utilizando Next.js

testing-vite-pwa

Just testing Vite PWA.

movies-recommender

Testing Surprise scikit for recommender systems.

talk-reverse-engineering

talk presentation about reverse engineering

batched-queue

ll-rust

rust-ring-buffer

Simple logger using ring buffer in Rust.

Learning-lean4

Doing stupid things to learn lean4

Rust-mt

Playing with Rust threads

Parsers-Parsec

Some simple parsers written with Haskell and Parsec :)

Cria

Just a funny toy language that I wrote to explain some basic concepts about compilers in my blog.

electron-first-app

aplicação simples construída com electron, para utilidade pessoal e afins de conhecer o framework.

Guilherme775

RealTimeQueue

RealTimeQueue (Worst-case O(1) Immutable queue) written in Haskell.

stack-rs