awkure's Stars
hwdsl2/setup-ipsec-vpn
Scripts to build your own IPsec VPN server, with IPsec/L2TP, Cisco IPsec and IKEv2
coolwanglu/pdf2htmlEX
Convert PDF to HTML without losing text or format.
martanne/vis
A vi-like editor based on Plan 9's structural regular expressions
gluon-lang/gluon
A static, type inferred and embeddable language written in Rust.
jameysharp/corrode
C to Rust translator
japaric/xargo
The sysroot manager that lets you build and customize `std`
beark/ftl
C++ template library for fans of functional programming
zackthoutt/got-book-6
LSTM trained on the first five ASOIAF/GOT books
katef/libfsm
DFA regular expression library & friends
precog/matryoshka
Generalized recursion schemes and traversals for Scala.
ollef/sixten
Functional programming with fewer indirections
mortberg/cubicaltt
Experimental implementation of Cubical Type Theory
JunSuzukiJapan/macro-lisp
Lisp-like DSL for Rust language
SynEdit/SynEdit
SynEdit main project
milibopp/carboxyl
Functional Reactive Programming library for Rust
jgm/texmath
A Haskell library for converting LaTeX math to MathML.
purescript-contrib/purescript-aff
An asynchronous effect monad for PureScript
anowell/quasar
An experimental rust-to-{wasm,asmjs} frontend framework.
serokell/universum
:milky_way: Prelude written in @Serokell
purescript-contrib/purescript-parsing
A parser combinator library based on Parsec
lindexi/UWP
Some controls and common codes
hansendc/gmailfs
FUSE-based filesystem for using an IMAP server (like gmail) as normal storage like a hard disk.
tomhoule/purescript-waterslide-rs
Generate Purescript types from your Rust types. (unmaintained)
purescript/purescript-tailrec
A type class which captures stack-safe monadic tail recursion
aidanhs/schrotcl
Schrödinger's Tcl
steinuil/negoto
Imageboard written in Ur/Web
amosr/folderol
machine fusion
DanBurton/rev-state
Reverse State monad transformer
jeandrek/kea-browser
A lightweight WebKit-based browser.
ksmaheshkumar/Distributed-Hash-Cracker
Hash recovery utility, with a database.