Repos
16
Stars
0
Forks
0
Top Language
Idris
Loading contributions...
Repositories
16PE
petithug/v3grammarFork
Versions of the post-V3 grammar used by xml2rfc
00Updated 5 years ago
PE
petithug/corrodeFork
C to Rust translator
00Updated 7 years ago
PE
petithug/ietfschedFork
No description provided.
Java00Updated 10 years ago
PE
petithug/Idris2Fork
A purely functional programming language with first class types
Idris00Updated 4 years ago
PE
petithug/idris-cryptoFork
Implementation of cryptographic primitives using Idris
00Updated 7 years ago
PE
petithug/Idris2.oldFork
A dependently typed programming language, a successor to Idris
Idris00Updated 5 years ago
PE
petithug/metanorma-ietfFork
Metanorma processor for IETF documents
00Updated 5 years ago
PE
petithug/milewski-ctfp-pdfFork
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
TeX00Updated 7 years ago
PE
petithug/BlodwenFork
A prototype successor to Idris
Idris00Updated 7 years ago
PE
petithug/ice-sip-sdp
Using ICE with SIP/SDP
00Updated 11 years ago
PE
petithug/powermeter
No description provided.
Java00Updated 7 years ago
PE
petithug/icewg
Charter for new ICE WG
00Updated 10 years ago
PE
petithug/ietfFork
IETF Drafts and Standards
HTML00Updated 9 years ago
PE
petithug/pcapngFork
PCAP next generation file format specification
00Updated 11 years ago
PE
petithug/reload-dev
No description provided.
00Updated 13 years ago
PE
petithug/turn-over-websocketFork
ietf draft for turn over websoket
00Updated 12 years ago