edwinans
Follow
-
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedSep 30, 2024 -
-
js_of_ocaml Public
Forked from ocsigen/js_of_ocamlCompiler from OCaml to Javascript.
OCaml Other UpdatedApr 22, 2024 -
-
problem-solving Public
Solutions to general computer science problems by category
OCaml UpdatedFeb 22, 2024 -
mirage Public
Forked from mirage/mirageMirageOS is a library operating system that constructs unikernels
OCaml ISC License UpdatedNov 13, 2023 -
-
puppeteer Public
Forked from puppeteer/puppeteerNode.js API for Chrome
TypeScript Apache License 2.0 UpdatedSep 18, 2023 -
Programming-Language-Benchmarks Public
Forked from hanabi1224/Programming-Language-BenchmarksYet another implementation of computer language benchmarks game
C# MIT License UpdatedAug 8, 2023 -
-
languagetool Public
Forked from languagetool-org/languagetoolStyle and Grammar Checker for 25+ Languages
Java GNU Lesser General Public License v2.1 UpdatedJun 19, 2023 -
ziesha-network.github.io Public
Forked from ziesha-network/ziesha-network.github.ioHTML UpdatedMay 26, 2023 -
-
vscode-ocp-indent Public
Forked from AllanBlanchard/vscode-ocp-indentProvide OCP-Indent in VSCode for Ocaml code formatting
TypeScript UpdatedMar 16, 2023 -
Memos Public
A simple memo (simple bloc of texts) managing web application.
HTML UpdatedDec 13, 2022 -
-
freespec-guess Public
Simple proof of concept of FreeSpec and coqffi -- The guess game.
-
FreeSpec Public
Forked from lthms/FreeSpecA framework for implementing and certifying impure computations in Coq
Coq Mozilla Public License 2.0 UpdatedJul 5, 2022 -
coq-MiniHTTPServer Public
Forked from lthms/coq-MiniHTTPServerA minimal, certified, executable HTTP server written in Coq
Coq UpdatedJun 27, 2022 -
coqffi Public
Forked from coq-community/coqffiCoq to OCaml FFI made easy [maintainer=@lthms]
OCaml MIT License UpdatedJun 1, 2022 -
-
-
terriers Public
Forked from tsjensen/fuse-coreThe 'Fuse Core' Jekyll theme.
HTML Creative Commons Attribution 4.0 International UpdatedMay 9, 2022 -
-
catprog Public
Implementation of a Categorical Programming Language
-
Personal solutions for the Software Foundations exercises
-
-
-
producer-consumer-queue Public
A multithread procuder-consumer system in C
C MIT License UpdatedMay 2, 2021 -