Search Results for "information system"

Declarative, type-safe web endpoints library. With tapir, you can describe HTTP API endpoints as immutable Scala values. Each endpoint can contain a number of input and output parameters. Compile-time guarantees, develop-time completions, read-time information. Separate the shape of the endpoint (the "what"), from the server logic (the "how"). Generate documentation from endpoint descriptions. Leverage the metadata to report rich metrics and tracing information. Re-use common endpoint...

...Sangria is a spec-compliant GraphQL implementation, so it works out of the box with Apollo, Relay, GraphiQL and other GraphQL tools and libraries. Since GraphQL has a type system, the server defines a schema that the client can query using the introspection API. This provides the client with a set of possibilities. After the client got this information and decided which parts of the data it needs, it is able to describe its data requirements in form of a GraphQL query. An important aspect of GraphQL is that it’s completely backend agnostic.

The Mozart Programming System is an open source implementation of the programming language Oz 3. Oz is a multi-paradigm language that supports declarative programming, object-oriented programming, constraint programming, concurrency and distributed programming as part of a coherent whole.

Assorted projects. General-purpose libraries for Python, C++, Scala, bash, and others. Meta-programming tools. System utilities. UI components. Web APIs. Configuration files. Benchmarks. Programming competition entries. And much more.

A web application that helps students learn Java. Students can submit their solutions to programming exercises and get immediate feedback through automated tests. The application is built with Scala and Lift.

SmartIMS - Smart Information Managment System