Learning Regular Languages with L* Algorithm(rahul.gopinath.org)117 points by todsacerdoti 2 years ago | 2 comments
λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)149 points by ux266478 8 months ago | 36 comments
How to program a text adventure in C(helderman.github.io)224 points by nivethan 1 year ago | 42 comments