Giters
Diogenes Mota (diogenesmota)

diogenesmota

Geek Repo

5

followers

11

following

90

stars

Location:São Paulo, Brazil

Github PK Tool:Github PK Tool

Diogenes Mota's repositories

abstract-algorithm

Optimal evaluator of λ-calculus terms.

Language:CStargazers:0Issues:2Issues:0

agda

The theory of algebraic graphs formalised in Agda

Language:AgdaLicense:MITStargazers:0Issues:2Issues:0

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

alga

Algebraic graphs

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

anime

JavaScript Animation Engine

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Language:AgdaLicense:MITStargazers:0Issues:1Issues:0

computer-science

:mortar_board: Path to a free self-taught education in Computer Science!

License:MITStargazers:0Issues:2Issues:0

cpuinfo

Haskell Library for Checking CPU Information

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

cubical

Language:AgdaStargazers:0Issues:2Issues:0

developer-roadmap

Roadmap to becoming a web developer in 2017

Stargazers:0Issues:0Issues:0

flexbugs

A community-curated list of flexbox issues and cross-browser workarounds for them.

License:MITStargazers:0Issues:2Issues:0

fullPage.js

fullPage plugin by Alvaro Trigo. Create full screen pages fast and simple

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

haskell-chart

A 2D charting library for haskell

Language:HaskellStargazers:0Issues:2Issues:0

HEAD

A list of everything that could go in the <head> of your document

Stargazers:0Issues:2Issues:0

HoTT-Agda

Development of homotopy type theory in Agda

Language:AgdaLicense:MITStargazers:0Issues:2Issues:0

moon-lang

Universal code-interchange format

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

nana

a modern C++ GUI library

Language:C++License:BSL-1.0Stargazers:0Issues:2Issues:0

papers-we-love

Papers from the computer science community to read and discuss.

Stargazers:0Issues:2Issues:0

Pharo-Functional

Functional support for Pharo

Language:SmalltalkLicense:MITStargazers:0Issues:0Issues:0

pycep-correios

Busca CEP utilizando webservice SIGEPWEB dos Correios

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

qtah

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

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:2Issues:0

reflex-examples

Language:HaskellStargazers:0Issues:2Issues:0

scrollreveal

Easy scroll animations for web and mobile browsers.

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:2Issues:0

snes9x

Snes9x - Portable Super Nintendo Entertainment System (TM) emulator

Language:C++Stargazers:0Issues:0Issues:0

software-foundations

Software Foundations in Idris

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:2Issues:0

speedtest-cli

Command line interface for testing internet bandwidth using speedtest.net

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

system-f-agda

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

Language:AgdaLicense:MITStargazers:0Issues:2Issues:0

write-you-a-haskell

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

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

You-Dont-Know-X

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

License:NOASSERTIONStargazers:0Issues:2Issues:0

zero-to-quake-3

Implementing Quake 3 in Haskell & Vulkan

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0