diogenesmota Goto Github PK

introtoawslambda

Introduction to AWS Lambda

libui

Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.

moon-lang

Universal code-interchange format

nana

a modern C++ GUI library

optlam

An optimal function evaluator written in JavaScript.

papers-we-love

Papers from the computer science community to read and discuss.

pharo-functional

Functional support for Pharo

phdthesis

phd thesis document source

plt

A path to Programming Language Theory enlightenment

prepare-ghcjs

pycep-correios

Busca CEP utilizando webservice SIGEPWEB dos Correios

q-os

Q OS is a versatile operating system designed with the new features of 64 bit "long mode" CPU's in mind that focuses on making everything as simple as possible for the end user

qtah

Qt bindings for Haskell. Mirror of https://gitlab.com/khumba/qtah; pull requests over there please!

raven

Raven is a minimal, distraction-free text editor with good typography.

reflex-examples

scrollreveal

Easy scroll animations for web and mobile browsers.

smckit

Apple SMC library & tool in Swift

snes9x

Snes9x - Portable Super Nintendo Entertainment System (TM) emulator

software-foundations

Software Foundations in Idris

speedtest-cli

Command line interface for testing internet bandwidth using speedtest.net

system-f-agda

A formalization of the polymorphic lambda calculus extended with iso-recursive types

torrent

wizardscastle

Find the Orb of Zot! Text-based adventure game from the 8-bit era rewritten in C for multiple platforms

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

you-dont-know-x

🙈 curated list of inspiring resources which show you don't know that much about something you thought you knew.

zero-to-quake-3

Implementing Quake 3 in Haskell & Vulkan