Giters
Aiden (Aiden01)

Aiden01

Geek Repo

105

followers

230

following

1k

stars

Location:Canada

Github PK Tool:Github PK Tool

Organizations
EpicGames
the-programmers-hangout

Aiden's starred repositories

serenity

The Serenity Operating System 🐞

Language:C++License:BSD-2-ClauseStargazers:29197Issues:347Issues:4147

desktop

Focus on what matters instead of fighting with Git.

Language:TypeScriptLicense:MITStargazers:19321Issues:1930Issues:11180

zipline

Zipline, a Pythonic Algorithmic Trading Library

Language:PythonLicense:Apache-2.0Stargazers:17178Issues:1006Issues:984

tfsec

Security scanner for your Terraform code

Language:GoLicense:MITStargazers:6602Issues:71Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:5231Issues:203Issues:7421

awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Language:HaskellStargazers:3030Issues:138Issues:13

eta

The Eta Programming Language, a dialect of Haskell on the JVM

Language:HaskellLicense:BSD-3-ClauseStargazers:2593Issues:97Issues:789

vega

A new arguably faster implementation of Apache Spark from scratch in Rust

Language:RustLicense:Apache-2.0Stargazers:2228Issues:117Issues:65

auto-complete

Emacs auto-complete package

Language:Emacs LispLicense:NOASSERTIONStargazers:1721Issues:103Issues:339

Egregoria

3D City Builder without a grid

Language:RustLicense:GPL-3.0Stargazers:1465Issues:22Issues:87

leksah

Haskell IDE

Language:HaskellLicense:NOASSERTIONStargazers:979Issues:48Issues:422

Blawn

Pleasant Programming Language.

Language:C++License:MITStargazers:749Issues:63Issues:5

eff

🚧 a work in progress effect system for Haskell 🚧

Language:HaskellLicense:ISCStargazers:548Issues:55Issues:14

morpheus-graphql

Haskell GraphQL Api, Client and Tools

Language:HaskellLicense:MITStargazers:405Issues:10Issues:218

cli

JavaScript security CLI that allow you to deeply analyze the dependency tree of a given package or local Node.js project.

Language:JavaScriptLicense:MITStargazers:362Issues:7Issues:80

cedille

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

Language:AgdaLicense:MITStargazers:361Issues:24Issues:119

math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]

Language:CoqLicense:MITStargazers:158Issues:16Issues:32

type-inference-by-example

A series of down-to-earth articles on implementing type inference

Language:ScalaStargazers:149Issues:8Issues:2

neuron-mode

An emacs mode for editing Zettelkasten notes with neuron

Language:Emacs LispLicense:GPL-3.0Stargazers:119Issues:14Issues:58

eole

Éole, a Lévy-optimal lambda calculus evaluator without oracle

Language:RustLicense:GPL-3.0Stargazers:109Issues:6Issues:3

study

Study of language design and implementation.

Language:ScalaLicense:GPL-3.0Stargazers:66Issues:3Issues:2

ton-lang

A visual programming language, evaluated as a cellular automaton

Language:PythonStargazers:62Issues:2Issues:0

spire

The Spire Programming Language

Language:AgdaLicense:BSD-3-ClauseStargazers:59Issues:9Issues:6

Toody

A two-dimensional parser combinator library.

Language:HaskellLicense:MITStargazers:41Issues:5Issues:3

python-fourier-transform-images

This repository contains code to draw images with the help of python and fourier series

Language:Jupyter NotebookStargazers:22Issues:2Issues:1

linear-algebra

Linear algebra formalization in Agda

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

Hadron

A stack language

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

teamtrees-ws-api

🌲 A websocket API to track changes to planted trees at https://teamtrees.org

Language:DartStargazers:7Issues:0Issues:0

advent

Advent of code solutions in Haskell

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

typhoon

A decent bittorrent library and program

Language:RustStargazers:3Issues:0Issues:0