tugraz-isds / datasets

Related projects ⓘ

Alternatives and complementary repositories for datasets

• mff-cuni-cz / cuni-thesis-validator
  A Docker 🐳 container with CUNI.CZ PDF/A validation profile
  ☆12Updated 4 months ago
• alexandersgreen / qio-haskell
  The Quantum IO Monad, implemented in Haskell
  ☆100Updated 8 months ago
• pddshk / GTK-Chess
  UCI chess engine GUI written in C. The project is in active development and is not ready to use yet
  ☆21Updated 11 months ago
• sio2project / oioioi
  ☆166Updated this week
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆10Updated last month
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆86Updated 2 months ago
• fintelkai / fintel-heim-intensional-notes
  Lecture notes on intensional semantics by Kai von Fintel and Irene Heim
  ☆44Updated 3 months ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆61Updated last year
• haskell / alex
  A lexical analyser generator for Haskell
  ☆298Updated 4 months ago
• haskell-numerics / hmatrix
  Linear algebra and numerical computation
  ☆381Updated 4 months ago
• dante-ev / latex-action
  GitHub Action to compile LaTeX documents
  ☆177Updated last year
• iMyon / OsuLastfmScrobbler
  Last.fm Scrobbler for Osu!
  ☆17Updated 8 months ago
• JuliaStats / HypothesisTests.jl
  Hypothesis tests for Julia
  ☆299Updated last month
• DataHaskell / dh-core
  Functional data science
  ☆138Updated 2 years ago
• Jugendhackt / tokyo-metro-data
  Tokyo Metro data / 東京メトロのデータ
  ☆21Updated 4 years ago
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆14Updated 2 years ago
• ekmett / linear
  Low-dimensional linear algebra primitives for Haskell.
  ☆202Updated last month
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆272Updated 4 months ago
• FFPiHaskell / Vorlesung2016
  Folien und Übungsaufgaben für unsere Vorlesung
  ☆26Updated 8 years ago
• flowr-analysis / flowr
  A program slicer and dataflow analyzer for the R programming language.
  ☆35Updated this week
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆614Updated this week
• sol / markdown-unlit
  Literate Haskell support for Markdown
  ☆135Updated 2 months ago
• Twinside / Juicy.Pixels
  Haskell library to load & save pictures
  ☆236Updated 5 months ago
• amunn / make-local-texmf
  Mac script to make a local texmf folder
  ☆17Updated 2 years ago
• MakieOrg / AlgebraOfGraphics.jl
  An algebraic spin on grammar-of-graphics data visualization in Julia. Powered by the Makie.jl plotting ecosystem.
  ☆443Updated this week
• JuliaSymbolics / Metatheory.jl
  Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…
  ☆363Updated last month
• joostrijneveld / Chef-Interpreter
  Run-time interpreter for the Chef language
  ☆31Updated 4 years ago
• haskell / c2hs
  c2hs is a pre-processor for Haskell FFI bindings to C libraries
  ☆199Updated 8 months ago
• JuliaStats / RDatasets.jl
  Julia package for loading many of the data sets available in R
  ☆160Updated 7 months ago