These are my dotfiles.
☆38Feb 25, 2026Updated this week
Alternatives and similar repositories for dotfiles
Users that are interested in dotfiles are comparing it to the libraries listed below
Sorting:
- A VSTS Agent that runs on docker☆16Sep 26, 2022Updated 3 years ago
- A graphql server written for sibelius' relay modern course https://relay-modern-course.now.sh/packages/☆28Sep 7, 2020Updated 5 years ago
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- C++17 Wrapper for ScaLAPACK☆11Oct 5, 2023Updated 2 years ago
- Demos for our research on Github actions script injection vulnerabilities☆13May 14, 2024Updated last year
- [portuguese] Um ponto de partida para discussões sobre arquitetura de sistemas☆10Apr 16, 2021Updated 4 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Projeto para interpretação de libras☆38Nov 27, 2021Updated 4 years ago
- Exemplo de API REST para contagem de acessos criada com .NET 6 + ASP.NET Core e que faz uso do projeto AspNetCoreRateLimit + cache distri…☆12Sep 6, 2022Updated 3 years ago
- Color your space.☆11Apr 26, 2024Updated last year
- An knowledge graph for data structures and algorithms in markdown format☆12Jul 22, 2022Updated 3 years ago
- Super-Paramagnetic Clustering, Maximum entropy, Maximum Likelihood Methods.☆11Oct 18, 2021Updated 4 years ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- Safety Risk Reliability Model Library☆12Jan 23, 2025Updated last year
- ☆10Apr 4, 2025Updated 10 months ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- Intuitive functional programming interface for LaTeX2☆13Dec 21, 2024Updated last year
- an optimizing curry compiler☆14Nov 27, 2022Updated 3 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated last month
- Script to detect hardware on computers and output it to a PDF using latex☆10Feb 19, 2026Updated last week
- 2d game write from scratch in .net 6☆10Jan 8, 2024Updated 2 years ago
- A digital assistant for the rest of us☆13Dec 15, 2024Updated last year
- Active Learning framework for Natural Language Processing of pathology reports.☆11Dec 8, 2021Updated 4 years ago
- latex class for manuals☆11Sep 10, 2024Updated last year
- Repository for all the Technical Talks which I perform during year 2023☆13Dec 14, 2023Updated 2 years ago
- Resources for building and deploying Neo4j Browser Guides including with sandbox instances☆12Feb 2, 2021Updated 5 years ago
- ⭐ My own world.☆17Feb 15, 2026Updated 2 weeks ago
- Application logging libraries with consistent semantics across c++, python, typescript, and go☆14Updated this week
- The famous merge strategy☆13Feb 15, 2017Updated 9 years ago
- Path Integral simulation with OpenCL bindings to Python☆12Jun 2, 2021Updated 4 years ago
- 将棋の棋譜ファイルの構文に色を付けるEmacs用のモード☆12Jan 28, 2024Updated 2 years ago
- Istio Tutorial for Java Microservices☆13Sep 26, 2019Updated 6 years ago
- Robot navigation algorithms implemented in SPARK☆12Sep 19, 2014Updated 11 years ago
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆29Updated this week
- k theorem prover☆11Aug 16, 2022Updated 3 years ago
- A GitHub repo template for creating Fable + Feliz apps for Azure Static Web Apps☆13Jul 9, 2021Updated 4 years ago
- ☆19Feb 22, 2017Updated 9 years ago