A purely functional programming language with first class types

Um bot de discord para criar resumos baseado nas últimas mensagens de um canal

Go library for automating iTerm2 Scripts

Ray Tracer in 483 bytes (x86 boot sector)

A human readable quasi-concatenative programming language

Decimal data type for C++

simple java virtual machine

FIX 4.4 session layer implementation for a single pair of initiator (client) and acceptor (server) over TCP

Neko is a cross-platform cursor-chasing cat. This is the reimplementation write in Go.

An ARM Thumb assembler written in Lisp.

Hathor core is the official and reference client for operating a full node in Hathor Network.

List of papers studying machine learning through the lens of category theory

An Emacs configuration that will make your C++ IDE jealous.

Language based on Rewriting Logic

API document to NoxPay payment system

The example source code for the book F# for Quantitative Finance

r3 programing language - ColorForth inspired

Nuweb is a literate programming tool like Knuth's WEB only simpler.

faster JSON serialization for Go

One of the fastest alternative JSON parser for Go that does not require schema

Some benchmarks of different languages

Interactive Brokers API - GoLang Implement

Pure Go interface to Interactive Brokers IB API

🎓 Um caminho para a educação autodidata em Ciência da Computação!

Comprehensive list of known attack vectors and common anti-patterns

General Pub/Sub Telegram Bot

An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.

OpenSSL scripts and bins for Android (useful for Qt on Android apps)

A 3270 font in a modern format