stcarrez / swagger-ada-todoLinks
Simple todo list server with OpenAPI
☆9Updated 9 months ago
Alternatives and similar repositories for swagger-ada-todo
Users that are interested in swagger-ada-todo are comparing it to the libraries listed below
Sorting:
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- Mathpaqs: a collection of mathematical packages in pure Ada☆12Updated 5 months ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- Alice ML implementation☆17Updated 2 years ago
- The package manager for Cyclone Scheme.☆32Updated last year
- Port of the Shen programming language to the Graal runtime☆26Updated 7 years ago
- JSON/JWK/JWS/JWT/Base64 library in SPARK☆19Updated 4 years ago
- Smalltalk VM built on top of Java☆21Updated last year
- An implementation of Oz on top of Truffle and Graal☆41Updated 3 years ago
- Dynamo Ada Application Code Generator☆17Updated this week
- Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.☆23Updated 2 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 3 years ago
- Erlang-style Actors for Squeak. http://tonyg.github.io/squeak-actors/☆13Updated 5 years ago
- ☆15Updated 5 years ago
- Official Sagittarius Scheme repository☆50Updated this week
- A simple website written with the Racket webserver, supporting runtime code-reloading.☆12Updated 10 years ago
- Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344☆14Updated this week
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- HTTP server and client for Dylan☆22Updated 2 months ago
- Simple blockchain in Ada☆22Updated 5 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- Framework for platform-independent SPARK components☆23Updated 4 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- Gambit Scheme library to interface to Python☆9Updated last year
- ☆14Updated last month
- A compiler for an Ada-like language☆31Updated last month
- Luml is a type-inferred ML-style language that cross-compiles to Lua☆18Updated 6 years ago
- A redis client for Racket.☆17Updated 10 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- WebAssembly version of Plorth programming language☆16Updated 7 years ago