All Projects → Typedefs → Similar Projects or Alternatives

445 Open source projects that are alternatives of or similar to Typedefs

Hprose Java
Hprose is a cross-language RPC. This project is Hprose 2.0 for Java
Stars: ✭ 542 (+60.83%)
Flatbuffers
FlatBuffers: Memory Efficient Serialization Library
Stars: ✭ 17,180 (+4997.92%)
cat
A categorical semantics library in Agda.
Stars: ✭ 16 (-95.25%)
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%)
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%)
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 Delphi
Hprose is a cross-language RPC. This project is Hprose 2.0 for Delphi and FreePascal
Stars: ✭ 100 (-70.33%)
Yaxlib
Yet Another XML Serialization Library for the .NET Framework and .NET Core
Stars: ✭ 124 (-63.2%)
Savegamefree
Save Game Free is a free and simple but powerful solution for saving and loading game data in unity.
Stars: ✭ 279 (-17.21%)
Hprose Js
Hprose is a cross-language RPC. This project is Hprose 2.0 RPC for JavaScript
Stars: ✭ 133 (-60.53%)
Plt
λΠ Programming Language Theory
Stars: ✭ 4,609 (+1267.66%)
Mutual labels:  type-theory, category-theory
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%)
JsonFormatter
Easy, Fast and Lightweight Json Formatter. (Serializer and Deserializer)
Stars: ✭ 26 (-92.28%)
fuser
Header-only library for automatic (de)serialization of C++ types to/from JSON.
Stars: ✭ 48 (-85.76%)
SymmetryBookFormalization
Univalent mathematics in Agda
Stars: ✭ 117 (-65.28%)
Mutual labels:  type-theory, category-theory
Thorsserializer
C++ Serialization library for JSON
Stars: ✭ 241 (-28.49%)
Eminim
JSON serialization framework for Nim, works from a Stream directly to any type and back. Depends only on stdlib.
Stars: ✭ 32 (-90.5%)
Hprose Php
Hprose is a cross-language RPC. This project is Hprose 3.0 for PHP
Stars: ✭ 1,952 (+479.23%)
reed-thesis
My undergradate thesis on coinductive types in univalent type theory
Stars: ✭ 14 (-95.85%)
Mutual labels:  type-theory, category-theory
Hprose Golang
Hprose is a cross-language RPC. This project is Hprose for Golang.
Stars: ✭ 1,143 (+239.17%)
Succ
Sexy and Utilitarian Code Configuration
Stars: ✭ 100 (-70.33%)
Json
Lighter and Faster Json Serialization tool.
Stars: ✭ 128 (-62.02%)
Lora Serialization
LoraWAN serialization/deserialization library for The Things Network
Stars: ✭ 120 (-64.39%)
Hprose Html5
Hprose is a cross-language RPC. This project is Hprose 2.0 Client for HTML5
Stars: ✭ 237 (-29.67%)
ikeapack
Compact data serializer/packer written in Go, intended to produce a cross-language usable format.
Stars: ✭ 18 (-94.66%)
BinaryLove3
Simple C++ 20 Serialization Library that works out of the box with aggregate types!
Stars: ✭ 13 (-96.14%)
Surrealist
to_json but I wrote it myself
Stars: ✭ 271 (-19.58%)
Mutual labels:  serialization
bow-lite
🏹 Bow Lite is a cross-platform library for Typed Functional Programming in Swift
Stars: ✭ 27 (-91.99%)
Mutual labels:  category-theory
simplify
simplify 包含了一系列自我驱动学习的子项目。
Stars: ✭ 67 (-80.12%)
Mutual labels:  serialization
json-serialization-benchmarking
Miscellaneous benchmarks for JSON serialization on JVM/Android
Stars: ✭ 48 (-85.76%)
Mutual labels:  serialization
Panko serializer
High Performance JSON Serialization for ActiveRecord & Ruby Objects
Stars: ✭ 266 (-21.07%)
Mutual labels:  serialization
Dahomey.Cbor
High-performance CBOR (RFC 7049) serialization framework for .Net (C#)
Stars: ✭ 47 (-86.05%)
Mutual labels:  serialization
types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Stars: ✭ 92 (-72.7%)
Mutual labels:  type-theory
Zio Prelude
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Stars: ✭ 267 (-20.77%)
Mutual labels:  category-theory
moonwlker
Jackson JSON without annotation.
Stars: ✭ 14 (-95.85%)
Mutual labels:  serialization
amq-protocol
AMQP 0.9.1 protocol serialization and deserialization implementation for Ruby (2.0+)
Stars: ✭ 47 (-86.05%)
Mutual labels:  serialization
Catlab.jl
A framework for applied category theory in the Julia language
Stars: ✭ 324 (-3.86%)
Mutual labels:  category-theory
Datafun
Research on integrating datalog & lambda calculus via monotonicity types
Stars: ✭ 287 (-14.84%)
Mutual labels:  type-theory
Permazen
Language-Natural Persistence Layer for Java
Stars: ✭ 265 (-21.36%)
Mutual labels:  serialization
ocaml-pb-plugin
A protoc plugin for generating OCaml code from protobuf (.proto) files.
Stars: ✭ 18 (-94.66%)
Mutual labels:  serialization
knuckles
👊 High performance cached object serialization
Stars: ✭ 67 (-80.12%)
Mutual labels:  serialization
Inquiry Deprecated
[DEPRECATED]: Prefer Room by Google, or SQLDelight by Square.
Stars: ✭ 264 (-21.66%)
Mutual labels:  serialization
CAP project
CAP project -- Categories, Algorithms, and Programming
Stars: ✭ 18 (-94.66%)
Mutual labels:  category-theory
xplatform
every feature build up from scratch
Stars: ✭ 91 (-73%)
Mutual labels:  serialization
Cattrs
Complex custom class converters for attrs.
Stars: ✭ 286 (-15.13%)
Mutual labels:  serialization
Protobuf
C# code generator for reading and writing the protocol buffers format
Stars: ✭ 260 (-22.85%)
Mutual labels:  serialization
binary
package binary is a lightweight and high-performance serialization library to encode/decode between go data and []byte.
Stars: ✭ 20 (-94.07%)
Mutual labels:  serialization
AvroConvert
Apache Avro serializer for .NET
Stars: ✭ 44 (-86.94%)
Mutual labels:  serialization
Watson
WATSON: Wasted but Amazing Turing-incomplete Stack-based Object Notation
Stars: ✭ 258 (-23.44%)
Mutual labels:  serialization
laravel5-jsonapi-dingo
Laravel5 JSONAPI and Dingo together to build APIs fast
Stars: ✭ 29 (-91.39%)
Mutual labels:  serialization
Msgpack.php
A pure PHP implementation of the MessagePack serialization format / msgpack.org[PHP]
Stars: ✭ 327 (-2.97%)
Mutual labels:  serialization
Messagepack Csharp
Extremely Fast MessagePack Serializer for C#(.NET, .NET Core, Unity, Xamarin). / msgpack.org[C#]
Stars: ✭ 3,668 (+988.43%)
Mutual labels:  serialization
nimpb
Protocol Buffers for Nim
Stars: ✭ 29 (-91.39%)
Mutual labels:  serialization
Play Json
The Play JSON library
Stars: ✭ 254 (-24.63%)
Mutual labels:  serialization
free-arrow
Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows
Stars: ✭ 14 (-95.85%)
Mutual labels:  category-theory
sbp
Structured Bindings Pack - serialize C++ structs into MessagePack binary form
Stars: ✭ 16 (-95.25%)
Mutual labels:  serialization
Marshmallow dataclass
Automatic generation of marshmallow schemas from dataclasses.
Stars: ✭ 255 (-24.33%)
Mutual labels:  serialization
Hyphen
Serialize at the speed of light.
Stars: ✭ 14 (-95.85%)
Mutual labels:  serialization
sia
Sia - Binary serialisation and deserialisation
Stars: ✭ 52 (-84.57%)
Mutual labels:  serialization
struct
pack and unpack binary data.
Stars: ✭ 42 (-87.54%)
Mutual labels:  serialization
1-60 of 445 similar projects