Repositories

leostera repositories

452 supported repositories

Show repositories with indexed issues
leostera/horsing-aroundPony

🐴 Exploring the Pony Language

Last commit Feb 11, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
leostera/hotstuffRust

:fire: Composable, incremental, turnkey document compiler

Last commit Nov 6, 2020

 (22 stars) (2 forks) (0 indexed issues) (0 open good first issues)
leostera/howistart.orgBrainfuck

HowIStart.org Hugo Site

Last commit Jun 26, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
leostera/html_of_jsxOCaml

Render HTML with JSX

Last commit Dec 2, 2023

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
leostera/htopC

htop is an interactive text-mode process viewer for Unix systems. It aims to be a better 'top'.

Last commit Oct 1, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
leostera/http2afOCaml

An HTTP/2 implementation written in pure OCaml

Last commit Mar 27, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
leostera/httpkitOCaml

⚡️ High-level, High-performance HTTP(S) Clients/Servers in Reason/OCaml

Last commit Jul 2, 2019

 (204 stars) (9 forks) (0 indexed issues) (0 open good first issues)
leostera/hvm-langRust

Last commit Apr 4, 2024

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
leostera/hypertermJavaScript

A terminal built on web technologies

Last commit Sep 2, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
leostera/iamvfl-portfolioJavaScript

These are the project files for iamvfl.com -my portfolio site.

Last commit Jan 23, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
leostera/idris-codaIdris

📦 A collection of Idris packages

Last commit Oct 16, 2017

 (6 stars) (0 forks) (0 indexed issues) (0 open good first issues)
leostera/idris-emptycgHaskell

An empty code generator, to be used as a starting point for any new back ends.

Last commit Mar 3, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
leostera/idris-logo

Just my take on the Idris logo

Last commit Apr 2, 2017

 (0 stars) (1 fork) (0 indexed issues) (0 open good first issues)
leostera/impurely-functional-web-appsJavaScript

A collection of Functional Webapp Architectures

Last commit May 11, 2017

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
leostera/incrementalOCaml

A library for incremental computations

Last commit Aug 19, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
leostera/infernoJavaScript

An extremely fast, React-like JavaScript library for building modern user interfaces

Last commit Jan 5, 2017

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
leostera/insightJavaScript

A bitcoin blockchain API for web wallets. #bitcore on Freenode.

Last commit Sep 1, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
leostera/interview-exercisesJavaScript

Last commit Sep 16, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
leostera/ioogle

Last commit Apr 7, 2017

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)