Stuff of my PhD I want to share publicly: all code, texts of my papers, research-notes & research-diary
☆31Nov 20, 2020Updated 5 years ago
Alternatives and similar repositories for phd
Users that are interested in phd are comparing it to the libraries listed below
Sorting:
- ⚙️ My personal collection of FP JavaScript functions!☆12Mar 20, 2018Updated 7 years ago
- Grasshopper's Monadic Parser☆12May 20, 2025Updated 9 months ago
- an alternative approach to pattern matching☆13Jul 18, 2022Updated 3 years ago
- Yet Another Graph Visualisation of the logical dependencies in Spinoza's Ethics☆13Nov 25, 2015Updated 10 years ago
- A sample TypeScript app that parses a grammar with ANTLR4.☆12Apr 21, 2017Updated 8 years ago
- A chess app written in Reason ♟️♟️♟️☆17Mar 2, 2020Updated 6 years ago
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆18Jun 22, 2015Updated 10 years ago
- Hakyll utilities to work with images☆20Feb 11, 2025Updated last year
- http://www.cse.chalmers.se/edu/course/afp/☆16Dec 1, 2015Updated 10 years ago
- A toolkit for higher-dimensional diagram rewriting.☆18Sep 15, 2022Updated 3 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Sep 2, 2014Updated 11 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Jan 1, 2016Updated 10 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated this week
- 🐈 Catstagram made with ReasonReact!☆32Dec 11, 2019Updated 6 years ago
- Trying out advent of code stuff. Plz no copy pasta☆31Dec 1, 2025Updated 3 months ago
- A collection of 🔥 resources & research on cryptoeconomics☆27Apr 28, 2018Updated 7 years ago
- A flexible and extensible form package in Elm that uses the platform.☆11Jul 8, 2024Updated last year
- Next.js PWA using reasonml☆35Dec 9, 2020Updated 5 years ago
- ☆34Feb 25, 2018Updated 8 years ago
- tons of coding☆11Nov 15, 2022Updated 3 years ago
- Amazing package to compute decompositions into irreducibles of explicit group representations and the Wedderburn decomposition for endomo…☆12Dec 22, 2025Updated 2 months ago
- Miscellaneous tools and solutions used for community work (automation, batch updates etc.)☆11Oct 24, 2025Updated 4 months ago
- ☆16Dec 2, 2011Updated 14 years ago
- 文件上传，图片上传(后缀名验证，文件类型验证)，大文件分片上传，“秒传”，断点续传，传输失败自动重试，手动重试☆10Apr 14, 2018Updated 7 years ago
- 🚀 Smallest event emitter for JavaScript with all the power of ES6 Maps!☆11Jul 25, 2019Updated 6 years ago
- ☆12Feb 9, 2020Updated 6 years ago
- anything developer relations at npm☆11Feb 18, 2019Updated 7 years ago
- Containerized AWS CLI on alpine to avoid having to install CLI on Dev or CI/CD machines.☆10Aug 13, 2020Updated 5 years ago
- CLI for semantic search on your computer. Searches text files and identifies the most relevant chunks to your query.☆22Nov 14, 2025Updated 3 months ago
- A dataloader for DyanmoDB☆12Jan 22, 2026Updated last month
- 🧪 This is not real code☆13Aug 5, 2022Updated 3 years ago
- Install and use Apache Unomi on Ubuntu 18☆11Jul 19, 2022Updated 3 years ago
- Tesla API for Haskell☆15Dec 15, 2025Updated 2 months ago
- stylish-haskell support for VS code☆14Jan 15, 2021Updated 5 years ago
- Some examples regarding JavaScript powerful iteration protocols enabling `for..of` and `for await...of` syntax☆10May 4, 2021Updated 4 years ago
- Aeternity virtual machines byte code modules☆14Apr 26, 2024Updated last year
- Create a Windows 7 (32bit) Vagrant box based on the Microsofts evaluation version of Windows Enterprise☆12Jun 18, 2021Updated 4 years ago
- cmus status notification tool written in Rust, which can be easily configured and used for different purposes. It provides notifications …☆14Updated this week
- A Scala 3, lightweight and functional non-intrusive library to build typed and declarative Scala application with managed resources and d…☆12Mar 16, 2025Updated 11 months ago