Alternatives and similar repositories for srs-ieee-latex

Users that are interested in srs-ieee-latex are comparing it to the libraries listed below

• clojurians-org / haskell-ebook
  ☆427Updated 3 years ago
• hilmansw / PDF-Summarizer
  PDF Summarizer using Streamlit, LangChain, and OpenAI frameworks.
  ☆22Updated last year
• erkmos / haskell-companies
  A gently curated list of companies using Haskell in industry
  ☆973Updated 3 months ago
• JD95 / haskell-problem-sets
  A collection of Haskell practice problems
  ☆18Updated 7 years ago
• mominalix / bulk-email-generator-using-ChatGPT
  This repository shows how to create personalized emails in bulk using Open AI ChatGPT API and web scrapping.
  ☆24Updated last year
• badboysm890 / WordPilot
  WordPilot is a tool that converts YouTube videos into written blog format, with images and export options. It uses natural language proce…
  ☆51Updated 2 years ago
• Copilot-Language / copilot
  A stream-based runtime-verification framework for generating hard real-time C code.
  ☆748Updated 2 weeks ago
• cesium / DPUM
  Desafios de Programação da Universidade do Minho
  ☆12Updated 3 years ago
• nd / bird
  Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird
  ☆16Updated 12 years ago
• salesp07 / Cap-Firebase-Billing
  A seamless guide to capping costs on Firebase.
  ☆13Updated last year
• LeifAndersen / PLGradSchools
  ☆233Updated 11 months ago
• swarm-game / swarm
  Resource gathering + programming game
  ☆876Updated this week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆160Updated 3 months ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆295Updated 7 months ago
• wo / tpg
  Tree Proof Generator
  ☆169Updated 4 months ago
• guimauveb / haskell-c-compiler
  A Haskell implementation of a C compiler
  ☆11Updated 4 years ago
• tdietert / lambda-pi
  A toy implementation of the dependently typed lambda calculus known as λΠ
  ☆11Updated 5 years ago
• VArtem / lean-itmo
  ☆11Updated 4 years ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆440Updated 4 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆306Updated last month
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆30Updated last year
• eyobbokru / Lead-generation-linkedin
  A LinkedIn lead generation web-scraper script. This project uses Selenium to automate the Chrome Browser & Beautiful Soup to parse the da…
  ☆11Updated 6 months ago
• seyithocuk / Automated_Audit_Reconciliations
  We present algorithms to extract data from annual reports (PDF files) using the Python programming language with the aim to automate the …
  ☆14Updated 4 years ago
• BartoszMilewski / Haskell
  Haskell exercises
  ☆12Updated 5 years ago
• agda / agda-stdlib
  The Agda standard library
  ☆619Updated this week
• ksadov / tarotbot
  A chatbot that does tarot spreads.
  ☆17Updated 2 weeks ago
• ortegaalfredo / ChristGPT
  ChristGPT is a Large Language Model trained on the Bible and Jesus's teachings
  ☆62Updated 2 years ago
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆38Updated 6 years ago
• uhub / awesome-haskell
  A curated list of awesome Haskell frameworks, libraries and software.
  ☆449Updated last week
• exercism / haskell
  Exercism exercises in Haskell.
  ☆520Updated 8 months ago