Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for types scheme
scheme
x
types
x
20 search results found
Dploy
⭐
1,006
⛔️ currently unmaintained ⛔️
Compdata
⭐
87
Haskell library implementing "Data Types a la Carte"
Carrot
⭐
65
Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically determined multimethods.
Fable.flora
⭐
55
Css theme type provider and tools
Hps
⭐
51
High Performance C++11 Serialization Library
Checktypes Js
⭐
49
A library to help you validate types of a passed item given a defined scheme.
R6rs Pffi
⭐
44
Portable Foreign Function Interface (FFI) for R6RS
Ftcolor.vim
⭐
33
Switches colorschemes according to the file type.
Tapl In Minikanren Ckanren Core.logic
⭐
33
Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic
Deepalgebra
⭐
27
DeepAlgebra
Next Electron Server
⭐
22
Server your Next.js app inside electron using a custom scheme.
Generic Recursion Schemes
⭐
21
Folds for recursive types with GHC Generics
Ts Json Validator
⭐
19
JSON Validator for TypeScript - Safer JSON.parse() validating by TypeScript types
Uscheme
⭐
19
Unlikely Scheme: A small Scheme interpreter
Data Fix
⭐
18
Fixpoint data types
R7rs Postgresql
⭐
18
PostgreSQL binding for R7RS Scheme.
Mess
⭐
15
Martin-Löf Extensible Specification and Simulator
Studygroup Tapl
⭐
13
A Types and Programming Languages Study Group.
Minimal Scheme
⭐
12
A simple scheme interpreter in Python
Json Format Highlight
⭐
10
Format json and highlight it as well (only 652 bytes).
Ipaynow Agg Ios
⭐
10
聚合支付iOS-SDK
Shamir
⭐
10
Implementation of Shamir's Secret Sharing scheme in Javascript.
Cobosdk Ios
⭐
9
Dapp SDK to use Cobo Wallet
Ll
⭐
9
LL - Object-Oriented Scheme Implementation
Goscm
⭐
9
A pure Go Scheme implementation - aspires to full R5RS compliance
Json Tools
⭐
8
JSON utilities for R6RS Scheme
Shin Barliman
⭐
8
Research project: Program synthesis using updated interface, template and types.
Tscheme
⭐
7
a experiment to implement HM type system on Racket/scheme
Gpif Datakinds
⭐
7
Generic Programming with Indexed Functors using DataKinds -- (co)recursion schemes for "free"!
Misc
⭐
6
Misc playground and random stuff
Zini
⭐
6
INI-files parser with schemes and types
Algorithmwstepbystep
⭐
6
Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.
Thesuperquestiontypetopicclassifier
⭐
6
Using SVM to classify questions based on their type and topic
Joiify
⭐
6
Convert an idiomatic js/json object into a Joi schema
Meta
⭐
6
Metaprogramming C++11 library built on top of std::type_traits.
Softscheme
⭐
6
Andrew Wright's soft type system for R4 Scheme
Ttyped
⭐
6
A simple dependently typed language based on the Calculus of Constructions.
Python Cons
⭐
6
An implementation of Lisp/Scheme-like cons in Python
Static Scheme
⭐
5
Lite Brite
⭐
5
LiteBrite is a heavily customized dark color scheme for Vim. It is designed primarily with 256 color terminals in mind and attempts to provide a consistent experience for a variety of file types.
Related Searches
Javascript Types (8,178)
Typescript Types (2,606)
Python Types (2,536)
Php Types (1,921)
Java Types (1,598)
C Plus Plus Types (1,282)
Golang Types (1,257)
C Sharp Types (1,177)
Plugin Types (1,152)
Json Types (1,128)
1-20 of 20 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.