-
xen-api Public
Forked from xapi-project/xen-apiThe Xapi Project's XenAPI Server
OCaml Other UpdatedOct 24, 2024 -
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedApr 2, 2024 -
effects-bibliography Public
Forked from yallop/effects-bibliographyA collaborative bibliography of work related to the theory and practice of computational effects
UpdatedMar 24, 2024 -
xapi-project.github.io Public
Forked from xapi-project/xapi-project.github.ioHome of the Xapi-project docs site
HTML UpdatedMar 5, 2024 -
tcs Public
Forked from boazbk/tcsBook in preparation: introduction to theoretical computer science
TeX Other UpdatedMar 4, 2024 -
-
haskell-resources Public
Forked from cohomolo-gy/haskell-resourcesA List of Foundational Haskell Papers
JavaScript Other UpdatedFeb 22, 2024 -
lens Public
Forked from ekmett/lensLenses, Folds, and Traversals - Join us on freenode #haskell-lens
Haskell Other UpdatedFeb 22, 2024 -
SymmetryBook Public
Forked from UniMath/SymmetryBookThis book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
HTML Creative Commons Attribution Share Alike 4.0 International UpdatedFeb 22, 2024 -
paip-lisp Public
Forked from norvig/paip-lispLisp code for the textbook "Paradigms of Artificial Intelligence Programming"
Common Lisp MIT License UpdatedFeb 22, 2024 -
haskell-course Public
Forked from input-output-hk/haskell-courseThis course is designed to teach students Haskell from zero to everything needed to work with Marlowe and Plutus. The course itself doesn't contain content specific to Marlowe or Plutus. So, if you…
Jupyter Notebook Apache License 2.0 UpdatedFeb 22, 2024 -
optics Public
Forked from well-typed/opticsOptics as an abstract interface
Haskell UpdatedFeb 22, 2024 -
ifl-tut Public
Forked from nobsun/ifl-tutHaskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 22, 2024 -
incubator-pekko Public
Forked from apache/pekkoBuild highly concurrent, distributed, and resilient message-driven applications using Java/Scala
Scala Apache License 2.0 UpdatedJan 22, 2024 -
course Public
Forked from system-f/fp-courseFunctional Programming Course
Haskell UpdatedJan 11, 2024 -
thinking-with-types Public
Forked from isovector/thinking-with-types📖 source material for Thinking with Types
-
ocaml-style Public
Forked from lindig/ocaml-styleA style guide for OCaml
MIT License UpdatedNov 30, 2023 -
semgrep Public
Forked from semgrep/semgrepLightweight static analysis for many languages. Find bug variants with patterns that look like source code.
OCaml GNU Lesser General Public License v2.1 UpdatedNov 30, 2023 -
Beijing-exercises Public
Forked from jegi/Beijing-exercisesExercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
Haskell UpdatedOct 13, 2023 -
learn4haskell Public
Forked from kowainik/learn4haskell👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
Haskell Mozilla Public License 2.0 UpdatedJun 4, 2023 -
exercises Public
Forked from haskell-beginners-2022/exercisesExercises for the Haskell Beginners 2022 course
Haskell Mozilla Public License 2.0 UpdatedJun 4, 2023 -
beta_curriculum Public
Forked from DockYard-Academy/curriculumElixir MIT License UpdatedFeb 19, 2023 -
elixirschool Public
Forked from elixirschool/elixirschoolThe content behind Elixir School
Apache License 2.0 UpdatedJun 27, 2022 -
duobei.github.io Public
Forked from yizeng/jekyll-theme-simple-textureA gem-based responsive simple texture styled Jekyll theme.
SCSS MIT License UpdatedApr 21, 2022 -
-
-
learn-tt Public
Forked from jozefg/learn-ttA collection of resources for learning type theory.
UpdatedJan 14, 2022 -
parconc-examples Public
Forked from simonmar/parconc-examplesSample code to accompany the book "Parallel and Concurrent Programming in Haskell"
Haskell Other UpdatedDec 10, 2021 -
robotsim Public
Forked from csviragh/robotsimSimulation framework for collective robotics
C MIT License UpdatedDec 10, 2021 -
haskell-challenges Public
Forked from effectfully-ou/haskell-challengesCode challenges to solve with Haskell
Haskell MIT License UpdatedDec 10, 2021
{{ message }}