prophet1906

prophet1906's Stars

• crispgm/awesome-engineering-blogs

  A curated list of awesome engineering blogs.

  25241

• aws-samples/p-model-transaction-processing-systems

  Language:OpenEdge ABL6

• cachix/devenv

  Fast, Declarative, Reproducible, and Composable Developer Environments

  Language:Nix4.2k314

• maaslalani/slides

  Terminal based presentation tool

  Language:Go9.7k266

• ept/ddia-references

  Literature references for “Designing Data-Intensive Applications”

  5.9k776

• lafengnan/ebooks-1

  733202

• ExpoSEJS/ExpoSE

  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

  Language:JavaScript18836

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown303k28.5k

• cap-js-community/tree-sitter-cds

  CAP CDS grammar for tree-sitter.

  Language:JavaScript162

• htammen/docker-lazynvim

  use lazyvim in docker with CAP, ... lsp enabled

  Language:Lua21

• LazyVim/LazyVim

  Neovim config for the lazy

  Language:Lua16.9k1.2k

• haskell-beginners-2022/course-plan

  📜 Haskell course info, plan, video lectures, slides

  Language:Haskell1.3k53

• berndruecker/flowing-retail

  Sample application demonstrating an order fulfillment system decomposed into multiple independant components (e.g. microservices). Showing concrete implementation alternatives using e.g. Java, Spring Boot, Apache Kafka, Camunda, Zeebe, ...

  Language:Java1.3k468

• emichael/dslabs

  Distributed Systems Labs and Framework

  Language:Java1.3k341

• tlaplus/CommunityModules

  TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

  Language:TLA26837

• Vanlightly/kafka-tlaplus

  TLA+ specifications for Kafka related algorithms

  Language:TLA353

• infiniflow/ragflow

  RAGFlow is an open-source RAG (Retrieval-Augmented Generation) engine based on deep document understanding.

  Language:Python18.7k1.9k

• p-org/P

  The P programming language.

  Language:C#3k177

• informalsystems/quint

  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

  Language:TypeScript80531

• All-Hands-AI/OpenHands

  🙌 OpenHands: Code Less, Make More

  Language:Python32.8k3.8k

• SiftScience/kafka-assigner

  Automated rack-aware assignment of Kafka partitions to brokers

  Language:Java6221

• theanalyst/awesome-distributed-systems

  A curated list to learn about distributed systems

  10.6k1.4k

• gg-daddy/ebooks

  2k973

• BaranziniLab/KG_RAG

  Empower Large Language Models (LLM) using Knowledge Graph based Retrieval-Augmented Generation (KG-RAG) for knowledge intensive tasks

  Language:Jupyter Notebook63189

• jtfmumm/curryon2018

  Resources related to CurryOn 2018 Talk

  464

• f-m-c/TAMshapes

  Shapes for drawing tools to create TAM (Technical Architecture Modeling - An SAP subset of UML2 with FMC block diagrams) diagrams

  Language:JavaScript102

• peremartra/Large-Language-Model-Notebooks-Course

  Practical course about Large Language Models.

  Language:Jupyter Notebook1.2k311

• hwchase17/chroma-langchain

  Language:Jupyter Notebook34278

• FedericoAureliano/upverifier

  Unbounded Verification of P(-like) Programs

  2

• kamranahmedse/developer-roadmap

  Interactive roadmaps, guides and other educational content to help developers grow in their careers.

  Language:TypeScript294k38.8k