- Brazil
Highlights
- Pro
-
anchor-book Public
Forked from coral-xyz/anchor-bookThe Anchor Book
TypeScript Apache License 2.0 UpdatedJan 7, 2025 -
rust-lambda-calculus Public
An exercise in learning Rust
Rust GNU General Public License v3.0 UpdatedJun 6, 2024 -
algorithm-w Public
Implementation of the paper "Algorithm W Step by Step"
Haskell Other UpdatedApr 1, 2024 -
alex-happy-vim Public
Syntax highlighting for Alex and Happy for Vim
Vim Script GNU General Public License v3.0 UpdatedMar 16, 2024 -
daml-fundamentals-capstone Public
My submission of the Capstone Project for the Daml Fundalmentals certification.
Haskell UpdatedFeb 19, 2024 -
vim-code-dark Public
Forked from tomasiser/vim-code-darkDark color scheme for Vim and vim-airline, inspired by Dark+ in Visual Studio Code
Vim Script MIT License UpdatedJan 17, 2024 -
fux Public
An experimental, heavily WIP contrapuntal music generator
-
-
mixfix Public
A Haskell port (and simplification) of [Danielsson and Norell, 2008]'s paper titled Parsing Mixfix Operators originally in Agda
-
-
Haskell implementation of the Tiger language from the Modern Compiler Implementation in ML book
Haskell UpdatedJul 7, 2022 -
ptghci Public
Forked from litxio/ptghciHigh-powered REPL for Haskell, inspired by IPython
Haskell Other UpdatedDec 24, 2021 -
vscode-mock-debug Public
Forked from microsoft/vscode-mock-debugStarter sample for developing debug adapters for VSCode.
TypeScript Other UpdatedNov 4, 2021 -
-
dodge-the-creeps Public
A Haskell implementation of the Dodge the Creeps! tutorial for Godot
-
-
ec021_2020_2_aulas Public
Forked from adautomendes/ec021_2020_2_aulasJavaScript UpdatedNov 7, 2020 -
-
-
Solutions to the exercises from the Haskell Programming from First Principles book.
-
-
-
-
-
VirtualMachine Public
A virtual machine created for the Computer Architectures II class.
C++ MIT License UpdatedNov 20, 2018 -
AlwaysOnTop Public archive
A small utility program to place windows always on top or not always on top.
-
Py-ML Public
This repository contains implementations in Python of some machine learning algorithms.
Python MIT License UpdatedAug 24, 2018 -
InatelCards Public
A game created as our object-oriented programming final project.
-
ImageMessage Public
An utility to encode something into a PNG or decode from a PNG.
C# MIT License UpdatedJul 12, 2018 -
purs-architecture-tutorial Public
Forked from parsonsmatt/purs-architecture-tutorialA port of the Elm Architecture Tutorial to PureScript
PureScript Apache License 2.0 UpdatedMay 23, 2018