Alternatives and similar repositories for swagger-ada-todo:

Users that are interested in swagger-ada-todo are comparing it to the libraries listed below

• Componolit / jwx
  JSON/JWK/JWS/JWT/Base64 library in SPARK
  ☆18Updated 4 years ago
• zertovitch / mathpaqs
  Mathpaqs: a collection of mathematical packages in pure Ada
  ☆12Updated 2 months ago
• stcarrez / dynamo
  Dynamo Ada Application Code Generator
  ☆17Updated 5 months ago
• merle-lang / luml
  Luml is a type-inferred ML-style language that cross-compiles to Lua
  ☆16Updated 6 years ago
• Componolit / gneiss
  Framework for platform-independent SPARK components
  ☆23Updated 4 years ago
• Componolit / SXML
  Formally verified, bounded-stack XML library
  ☆23Updated 4 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• smalljvm / SmallJ
  Smalltalk VM built on top of Java
  ☆22Updated 10 months ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• stchang / redis
  A redis client for Racket.
  ☆17Updated 9 years ago
• ktakashi / sagittarius-scheme
  A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub
  ☆50Updated this week
• tomekw / simple_blockchain
  Simple blockchain in Ada
  ☆22Updated 4 years ago
• substratic / engine-for-gambit
  Substratic Engine - A game engine for Gambit Scheme
  ☆11Updated 4 years ago
• stcarrez / ada-keystore
  Ada Keystore - protect your sensitive data with secure storage
  ☆35Updated 3 weeks ago
• stcarrez / ada-asf
  Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344
  ☆14Updated 3 weeks ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• simonjwright / ews
  The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted …
  ☆15Updated 2 years ago
• proebsting / jcon
  ☆15Updated 5 years ago
• victorr / jsqueak
  Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.
  ☆23Updated 2 years ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• pchapin / augusta
  A compiler for an Ada-like language
  ☆29Updated this week
• enso-lang / enso
  ☆71Updated 4 years ago
• cyclone-scheme / winds
  The package manager for Cyclone Scheme.
  ☆32Updated last year
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated last year
• tonyg / squeak-actors
  Erlang-style Actors for Squeak. http://tonyg.github.io/squeak-actors/
  ☆13Updated 5 years ago
• 97jaz / hamt
  Hash Array Mapped Tries for Racket
  ☆20Updated 8 years ago
• larsbrinkhoff / forth-metacompiler
  Forth metacompiler written in Lisp, for bootstrapping
  ☆45Updated 3 years ago
• feeley / pyffi
  Gambit Scheme library to interface to Python
  ☆9Updated 10 months ago
• tonyg / racket-reloadable-example
  A simple website written with the Racket webserver, supporting runtime code-reloading.
  ☆12Updated 10 years ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 4 years ago