Ende is a hypothetical programming language.
☆23Oct 19, 2020Updated 5 years ago
Alternatives and similar repositories for Ende-readme
Users that are interested in Ende-readme are comparing it to the libraries listed below
Sorting:
- Script to check ticketing system for remaining tickets☆11Aug 7, 2016Updated 9 years ago
- Fantasy Land Specification 繁體中文文件☆10Sep 4, 2018Updated 7 years ago
- EPWING dictionary viewer☆11Nov 13, 2018Updated 7 years ago
- Some stuff for CTF.☆10Oct 27, 2019Updated 6 years ago
- Viva exposes the virtual variable API to Ruby land.☆22Jan 25, 2016Updated 10 years ago
- HUD for tenhou.net riichi mahjong server. Shows tsumogiri and hidden tiles.☆14Jan 20, 2017Updated 9 years ago
- CFE virtual competition framework☆14Feb 1, 2017Updated 9 years ago
- The Notes☆12Jan 10, 2018Updated 8 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- Work on type class deriving with elaboration reflection☆32Sep 9, 2018Updated 7 years ago
- Automatically exported from code.google.com/p/trellys☆47Jul 12, 2019Updated 6 years ago
- ☆10Aug 27, 2023Updated 2 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Mar 6, 2017Updated 9 years ago
- exploit dev. stuff☆20Aug 7, 2012Updated 13 years ago
- Some RSA attacks with sage☆11Nov 15, 2016Updated 9 years ago
- Gobbling it's way through your pcap files☆24Oct 23, 2014Updated 11 years ago
- My presentation on Cyber Grand Challenge and DEFCON 24 CTF at SHLUG monthly meeting☆13Sep 24, 2016Updated 9 years ago
- BYOHC workshop 活動記錄☆29Jul 21, 2016Updated 9 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- A Types and Programming Languages Study Group.☆13Oct 2, 2016Updated 9 years ago
- Proof of Work generator☆12Jun 26, 2019Updated 6 years ago
- Full functional idascript with stdin/stdout handled☆20Jan 25, 2017Updated 9 years ago
- keeloq cypher decode need 14hour+☆15Feb 18, 2016Updated 10 years ago
- ☆11May 19, 2017Updated 8 years ago
- Comparison of IO methods for OS X and Linux.☆14Jul 12, 2014Updated 11 years ago
- Fuzzing compression libraries☆20Jan 10, 2016Updated 10 years ago
- ☆14Nov 5, 2019Updated 6 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 8 years ago
- Dependently typed core calculus with erasure☆19Aug 31, 2021Updated 4 years ago
- An extended typed Lambda Calculus☆21Aug 5, 2024Updated last year
- just another compiler experiment☆14Jan 11, 2017Updated 9 years ago
- RuCTF 2016 repository☆16Nov 16, 2019Updated 6 years ago
- Improve your Print Debugging☆42Dec 25, 2025Updated 2 months ago
- Watching the Flag☆15Dec 16, 2015Updated 10 years ago
- Exact 64-bit convolution algorithm☆15Jun 7, 2016Updated 9 years ago
- ☆14Jan 12, 2018Updated 8 years ago
- Command line application that allows to quickly start an ftp server without worrying about configuration. This makes it a handy tool to t…☆23Jul 19, 2017Updated 8 years ago
- ┌(┌ ^o^)┐ホモォ... Insert kaomoji (顔文字) easily☆16Jul 21, 2022Updated 3 years ago
- ShiftCrops pwn tool☆15Dec 11, 2016Updated 9 years ago