summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2025-10-17feat: add basic application to evaluate "programs"Arnaud Bailly
The main simply reads from its stdin, evaluates its input, and dump the result of the evaluation.
2025-10-13add minimal radicle CI configurationArnaud Bailly
2025-10-13add minimal evaluator and type inferenceArnaud Bailly
2025-10-13update from workshop 2bisArnaud Bailly
2025-10-09feat: more logsArnaud Bailly
2025-10-09feat: introduce arrow typesArnaud Bailly
2025-10-09feat: can type Bools and SymsArnaud Bailly
2025-10-09feat: introduce typing of expressionsArnaud Bailly
2025-10-09feat: can serve and receive Json or SexpArnaud Bailly
depending on Registration by client
2025-10-09feat: use client encoding (but always expect JSON)Arnaud Bailly
2025-10-09refactor: extract functionArnaud Bailly
2025-10-09feat: work with Value at generation and convert laterArnaud Bailly
2025-10-09feat: add AST representation choice for registrationArnaud Bailly
2025-10-09chore: check JSON representation of ValueArnaud Bailly
2025-10-09feat: serve /static directoryArnaud Bailly
useful to keep help instructions around
2025-10-09chore: add rust workspace file to please eglotArnaud Bailly
2025-10-09fix: clarify registration and use of netcatArnaud Bailly
2025-09-27feedback from geek campArnaud Bailly
2025-09-25add readmeArnaud Bailly
2025-07-06feat: start working on typecheckerArnaud Bailly
2025-06-28Typo: remove pluralEmmanuel Gaillot
2025-01-31Added example in Haskell and some more commentsArnaud Bailly
2025-01-26Move shared code to libraryArnaud Bailly
2025-01-26Add some more interesting links about PBTArnaud Bailly
2025-01-26Report reverse/reverse propertyArnaud Bailly
2025-01-26Improve array shrinkingArnaud Bailly
2025-01-25Added some 'interesting' properties about listsArnaud Bailly
These are the classical properties from Claessen and Hughes' paper. Shrinking is too expensive as it is so need to prune recursion tree.
2025-01-25Generate a random listArnaud Bailly
2025-01-25Start TS tiny PBT implementationArnaud Bailly
2025-01-25Fix links from toplevel README.mdArnaud Bailly
2025-01-25Link to README filesArnaud Bailly
2025-01-25Introduce PBT workshopArnaud Bailly
2025-01-25Move λ-calcul workshop code to subdirectoryArnaud Bailly
2024-10-16Add clojure evaluatorCédric
2024-10-16Delete duplicated files in java implementationCédric
2024-10-15Keep tester thread handle and abort when unregisteringArnaud Bailly
2024-10-14Refactor test result handling to separate mutation from evaluationArnaud Bailly
2024-10-14Use more idiomatic saturating_addArnaud Bailly
2024-10-13Limit grade to 255Arnaud Bailly
2024-10-12Add java evaluatorArnaud Bailly
2024-10-11Add elixir codeArnaud Bailly
2024-10-10Add simple script to compute rust coverageArnaud Bailly
2024-10-10Built-in /eval endpoint sometimes return garbageArnaud Bailly
2024-10-10Improve leaderboard to add timestamp and resultArnaud Bailly
2024-10-10Instructions to build serverArnaud Bailly
2024-10-10Update READMEArnaud Bailly
2024-10-10Adding a small support for the begining of Workshop the firstxvw
2024-10-10Lower bound for query delay to 500msArnaud Bailly
2024-10-10Ensure eval endpoint evaluates all expressions sentArnaud Bailly
2024-10-10Log responses from clientArnaud Bailly
generated by cgit v1.2.3 (git 2.39.1) at 2026-02-06 05:13:14 +0000