Giters
Luis Fernando Restrepo (lfrestrepog)

lfrestrepog

Geek Repo

2

followers

7

following

15

stars

Github PK Tool:Github PK Tool

Luis Fernando Restrepo's repositories

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

agda-language-server

Language Server for Agda

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

lapce

Lightning-fast and Powerful Code Editor written in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

plfa.github.io

An introduction to programming language theory in Agda

Language:HTMLLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0

twilio-conversations-demo-react

Twilio Conversations Demo Web Application

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0