Alternatives and similar repositories for idris-cs-hse

Users that are interested in idris-cs-hse are comparing it to the libraries listed below

• anton-trunov / csclub-coq-course-spring-2021

  View on GitHub
  A course on formal verification at https://compsciclub.ru/en, Spring term 2021
  ☆57Feb 28, 2023Updated 2 years ago
• serokell / style

  View on GitHub
  Collection of programming style guides used in Serokell
  ☆12Jul 4, 2022Updated 3 years ago
• unwireddevices / unwired-smarthome

  View on GitHub
  Unwired Devices Smarthome system. Based on Contiki 3, СС2650/СС1310
  ☆10Nov 1, 2017Updated 8 years ago
• ilya-klyuchnikov / henk

  View on GitHub
  Pure Type Systems for Functional Programming
  ☆31Nov 21, 2020Updated 5 years ago
• askfind / strannik

  View on GitHub
  Компилятор "СтранниК Модула-Си-Паскаль"
  ☆15Jun 12, 2016Updated 9 years ago
• George66 / Textbook

  View on GitHub
  Учебник теории категорий
  ☆371Jan 12, 2018Updated 8 years ago
• DoctorRainer / gimel

  View on GitHub
  A PureScript UI library built upon the react
  ☆10May 27, 2022Updated 3 years ago
• nponeccop / n2o.hs

  View on GitHub
  N2O in Haskell
  ☆29Apr 15, 2016Updated 9 years ago
• nponeccop / vz

  View on GitHub
  OpenVZ MAD Profile
  ☆15Aug 18, 2022Updated 3 years ago
• turion / essence-of-live-coding-tutorial

  View on GitHub
  Tutorial for essence-of-live-coding
  ☆17Apr 12, 2023Updated 2 years ago
• filonenko-mikhail / ub-lisp

  View on GitHub
  Translation of Uber Lisp article into russian.
  ☆21Dec 15, 2012Updated 13 years ago
• unera / arduino-fibers

  View on GitHub
  Light process manager for Arduino
  ☆15May 19, 2018Updated 7 years ago
• valis / DT2018

  View on GitHub
  Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года
  ☆15Dec 17, 2018Updated 7 years ago
• Oleg-N-Cher / XDev

  View on GitHub
  XDev is open and free set of compilers, additional tools, libraries and design patterns for cross-platform and embedded development in Ob…
  ☆44Mar 24, 2024Updated last year
• shd / logic2021

  View on GitHub
  ☆13Jun 10, 2021Updated 4 years ago
• fredefox / cat

  View on GitHub
  A formalization of category theory in cubical Agda
  ☆59May 24, 2020Updated 5 years ago
• o83 / n2o

  View on GitHub
  N2O: Rust Application Server
  ☆17Jul 9, 2019Updated 6 years ago
• o1 / n2o

  View on GitHub
  N2O: Standard ML Application Server
  ☆18Nov 6, 2021Updated 4 years ago
• well-typed / ixset-typed

  View on GitHub
  More strongly typed variant of the ixset Haskell package
  ☆26Jul 28, 2025Updated 6 months ago
• groupoid / cafe

  View on GitHub
  🧊 Презентації та воркшопи
  ☆19Jun 28, 2025Updated 7 months ago
• vasil-sd / engineering-sw-hw-model-checking-letures

  View on GitHub
  Lectures in MIPT: intro to engineering software using model-checking.
  ☆17Apr 19, 2021Updated 4 years ago
• excavador / erlang-mnesia-video.ru

  View on GitHub
  ☆20Dec 23, 2021Updated 4 years ago
• anton-k / ru-haskell-book

  View on GitHub
  учебник по Haskell
  ☆275Aug 8, 2023Updated 2 years ago
• waivio / cl3

  View on GitHub
  Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)
  ☆57Apr 10, 2022Updated 3 years ago
• BudAlNik / turing-machine-visualizer

  View on GitHub
  Turing machine visualizer
  ☆22Feb 28, 2020Updated 5 years ago
• ctford / flying-spaghetti-monster

  View on GitHub
  An Idris type provider for communicating type-checkable protocols.
  ☆26Nov 6, 2017Updated 8 years ago
• pcapriotti / agda-categories

  View on GitHub
  Category theory and algebra
  ☆27Aug 4, 2016Updated 9 years ago
• JLimperg / cats

  View on GitHub
  Category Theory in Agda. Learning exercise, not for public consumption.
  ☆22Mar 17, 2020Updated 5 years ago
• besm6 / micro-besm

  View on GitHub
  Replica of micro-BESM computer
  ☆26Mar 1, 2025Updated 11 months ago
• serokell / rocksdb-haskell

  View on GitHub
  Haskell bindings to RocksDB (http://rocksdb.org)
  ☆27Apr 25, 2018Updated 7 years ago
• hexlet-volunteers / interviews

  View on GitHub
  ☆14Aug 31, 2020Updated 5 years ago
• tomitrescak / apollo-mobx

  View on GitHub
  MobX mappings for Apollo using React higher order components ... and much more.
  ☆27Jul 21, 2018Updated 7 years ago
• vmchale / recursion_schemes

  View on GitHub
  Recursion schemes for Idris
  ☆64Aug 23, 2018Updated 7 years ago
• kuk / analyze-roadcrash

  View on GitHub
  ☆24Oct 23, 2016Updated 9 years ago
• raydac / jprol

  View on GitHub
  Yet another Java based Prolog engine
  ☆31Jan 19, 2026Updated 3 weeks ago
• economist239 / BrandAnalytics

  View on GitHub
  Project of Data Mining group
  ☆16Aug 10, 2012Updated 13 years ago
• ToxaBes2 / ADR-Spec-Ops

  View on GitHub
  Annex Done Right: Spec Ops (TEHGAM 1)
  ☆10Apr 19, 2019Updated 6 years ago
• smurav / gis36

  View on GitHub
  ☆20Sep 7, 2012Updated 13 years ago
• Faral-Ghaemi / FaraPy

  View on GitHub
  The Powerful Python CMS
  ☆11Nov 20, 2021Updated 4 years ago