typedefs / Typedefs
Licence: agpl-3.0
Programming language agnostic type construction language based on polynomials.
Stars: ✭ 337
Programming Languages
types
53 projects
Projects that are alternatives of or similar to Typedefs
Plt
λΠ Programming Language Theory
Stars: ✭ 4,609 (+1267.66%)
Mutual labels: type-theory, category-theory
Flatbuffers
FlatBuffers: Memory Efficient Serialization Library
Stars: ✭ 17,180 (+4997.92%)
Mutual labels: serialization-library, serialization
Foundational Knowledge For Programmers
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Stars: ✭ 115 (-65.88%)
Mutual labels: type-theory, category-theory
Hprose Nodejs
Hprose is a cross-language RPC. This project is Hprose 2.0 for Node.js
Stars: ✭ 297 (-11.87%)
Mutual labels: serialization-library, serialization
ikeapack
Compact data serializer/packer written in Go, intended to produce a cross-language usable format.
Stars: ✭ 18 (-94.66%)
Mutual labels: serialization, serialization-library
Hprose Html5
Hprose is a cross-language RPC. This project is Hprose 2.0 Client for HTML5
Stars: ✭ 237 (-29.67%)
Mutual labels: serialization-library, serialization
SymmetryBookFormalization
Univalent mathematics in Agda
Stars: ✭ 117 (-65.28%)
Mutual labels: type-theory, category-theory
Json
Lighter and Faster Json Serialization tool.
Stars: ✭ 128 (-62.02%)
Mutual labels: serialization-library, serialization
Savegamefree
Save Game Free is a free and simple but powerful solution for saving and loading game data in unity.
Stars: ✭ 279 (-17.21%)
Mutual labels: serialization-library, serialization
EndianBinaryIO
A C# library that can read and write primitives, enums, arrays, and strings to streams and byte arrays with specified endianness, string encoding, and boolean sizes.
Stars: ✭ 20 (-94.07%)
Mutual labels: serialization, serialization-library
Persistentstorageserializable
Swift library that makes easier to serialize the user's preferences (app's settings) with system User Defaults or Property List file on disk.
Stars: ✭ 162 (-51.93%)
Mutual labels: serialization-library, serialization
BinaryLove3
Simple C++ 20 Serialization Library that works out of the box with aggregate types!
Stars: ✭ 13 (-96.14%)
Mutual labels: serialization, serialization-library
Hprose Php
Hprose is a cross-language RPC. This project is Hprose 3.0 for PHP
Stars: ✭ 1,952 (+479.23%)
Mutual labels: serialization-library, serialization
Thorsserializer
C++ Serialization library for JSON
Stars: ✭ 241 (-28.49%)
Mutual labels: serialization-library, serialization
Hprose Js
Hprose is a cross-language RPC. This project is Hprose 2.0 RPC for JavaScript
Stars: ✭ 133 (-60.53%)
Mutual labels: serialization-library, serialization
reed-thesis
My undergradate thesis on coinductive types in univalent type theory
Stars: ✭ 14 (-95.85%)
Mutual labels: type-theory, category-theory
Lora Serialization
LoraWAN serialization/deserialization library for The Things Network
Stars: ✭ 120 (-64.39%)
Mutual labels: serialization-library, serialization
Yaxlib
Yet Another XML Serialization Library for the .NET Framework and .NET Core
Stars: ✭ 124 (-63.2%)
Mutual labels: serialization-library, serialization
cat
A categorical semantics library in Agda.
Stars: ✭ 16 (-95.25%)
Mutual labels: type-theory, category-theory
JsonFormatter
Easy, Fast and Lightweight Json Formatter. (Serializer and Deserializer)
Stars: ✭ 26 (-92.28%)
Mutual labels: serialization, serialization-library
Typedefs
About
Typedefs is a programming language-agnostic, algebraic data type definition language, written in Idris.
See http://typedefs.com, or play around with examples at Try Typedefs!
Build and run
Nix package descriptions, an Elba manifest and a Makefile are provided.
Nix packages
If you want to build everything, do:
nix-build
If you only want to build a specific package:
nix-build -A typedefs.nix
Makefile
Build everything:
make build-lib
sudo make install-lib
make build-rest
Build a specific package:
make build pkg=typedefs
Build documentation:
make doc-all
Run tests:
make test-all
Install:
sudo make install-all
Clean up:
make clean-all
Elba
There is a complete tutorial on how to compile and install typedefs using the elba package manager here.
In most cases it should be just as easy as:
elba install
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].