lfrestrepog

Pinned Repositories

resty
Simple HTTP and REST client library for Go
Language:Go10k 100 490707
calceteam
Language:Java0 2 00
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell00
agda-language-server
Language Server for Agda
Language:Haskell00
lapce
Lightning-fast and Powerful Code Editor written in Rust
Language:Rust00
plfa.github.io
An introduction to programming language theory in Agda
Language:HTML00
twilio-conversations-demo-react
Twilio Conversations Demo Web Application
Language:TypeScript00
twilio-conversations-demo-react
Twilio Conversations Demo Web Application
Language:TypeScript96 17 38304

lfrestrepog's Repositories

lfrestrepog/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell00
lfrestrepog/agda-language-server
Language Server for Agda
Language:Haskell00
lfrestrepog/lapce
Lightning-fast and Powerful Code Editor written in Rust
Language:Rust00
lfrestrepog/plfa.github.io
An introduction to programming language theory in Agda
Language:HTML00
lfrestrepog/twilio-conversations-demo-react
Twilio Conversations Demo Web Application
Language:TypeScript00