solutions for problems/puzzles from a variety of websites in fancy languages
☆18Nov 5, 2011Updated 14 years ago
Alternatives and similar repositories for fancy-walks
Users that are interested in fancy-walks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Some online judge solutions in Haskell☆19May 19, 2016Updated 10 years ago
- A formalization of the textbook Elements of Set Theory☆60Sep 30, 2021Updated 4 years ago
- A Java Parsec Port from Haskell☆28Oct 11, 2016Updated 9 years ago
- 美观的 Typst 作业 / 报告模板☆12Feb 24, 2025Updated last year
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Hexo theme suited for coding blogs, bootstrap based☆11Aug 20, 2018Updated 7 years ago
- thautwarm utilities.☆11Oct 16, 2018Updated 7 years ago
- CCC从2020年清华操作系统夏令营到2021年操作系统比赛结束的一段旅途的日志记录☆20Aug 29, 2021Updated 4 years ago
- A Scheme interpreter in Python☆14Jul 7, 2014Updated 12 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Nov 20, 2022Updated 3 years ago
- ☆15Jul 12, 2015Updated 11 years ago
- A cross-platform C++11 implementation of the CMM language interpreter☆11Jul 18, 2025Updated last year
- Haskell: Simple heterogeneous lists☆10Feb 7, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Frege interface to Android☆15Sep 16, 2015Updated 10 years ago
- Eventually consistent datatypes for Clojure.☆14Apr 25, 2016Updated 10 years ago
- Mirror repository, PRs are not watched, please use Xfce's GitLab☆15Jul 24, 2026Updated 3 weeks ago
- 作为对《C++ Concurrency in Action - SECOND EDITION》的中文翻译。☆14Jun 3, 2021Updated 5 years ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- Verified C programming in Agda☆16Mar 19, 2021Updated 5 years ago
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- Containerization and deployment scripts for remote-index-server and workflows to generate monolithic index for https://www.chromium.org/☆21Aug 5, 2026Updated last week
- Basic replacement of Composer, the Dependency Manager for PHP☆15Dec 3, 2014Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆18Jul 1, 2026Updated last month
- OCaml implementation of Fiat-Shamir Zero Knowledge Proof system as a client/server authentication protocol☆11Feb 7, 2017Updated 9 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 10 years ago
- Source files and writeups for UTCTF 2019☆14Oct 21, 2020Updated 5 years ago
- An Implementation of Game 2048☆15Oct 31, 2019Updated 6 years ago
- linux0.11源码阅读笔记☆12Oct 15, 2018Updated 7 years ago
- What if we could see which if-else branch gets executed? Haha jk... unless?☆12Jun 19, 2022Updated 4 years ago
- Pipelined MIPS CPU（course assignment for BUAA-Computer-Organization）☆22Feb 5, 2022Updated 4 years ago
- Prism highlighting `material` themes☆15Oct 19, 2018Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- feature toggle capabilities for angular☆13Jun 25, 2019Updated 7 years ago
- illustration how to embed TinyScheme within C programs☆22May 13, 2016Updated 10 years ago
- OCS: a mirror of the ocaml OCS scheme interpreter☆12Feb 16, 2017Updated 9 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Jan 25, 2013Updated 13 years ago
- MonsterWM Slide.☆18Aug 6, 2013Updated 13 years ago
- Test program for AF_PACKET☆12Apr 21, 2017Updated 9 years ago
- Haskell NLP Work☆17Oct 13, 2025Updated 10 months ago