Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for algorithms types
algorithms
x
types
x
13 search results found
Ultimate Go
⭐
1,880
This repo contains my notes on working with Go and computer systems.
Type Systems
⭐
1,300
Implementations of various type systems in OCaml.
Meta Typing
⭐
764
📚 Functions and algorithms implemented purely with TypeScript's type system
Mlib
⭐
747
Library of generic and type safe containers in pure C language (C99 or C11) for a wide collection of container (comparable to the C++ STL).
Ecmascript Types
⭐
427
ECMAScript Optional Static Typing Proposal http://sirisian.github.io/ecmascript-types/
Type Inference
⭐
295
The Hindley Milner Type Inference Algorithm
The Python Workshop
⭐
245
A New, Interactive Approach to Learning Python
Simple Sub
⭐
134
Alternative algorithm for algebraic subtyping.
Hgeometry
⭐
113
HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms. The main two focusses are: (1) Strong type safety, and (2) implementations of geometric algorithms and data structures that have good asymptotic running time guarantees.
Random Gradient
⭐
65
Generate beautiful random gradients
Learn Data_structure Algorithm By Php
⭐
56
Data Structure and Algorithm explanations with Implementations by PHP
Jinja2schema
⭐
55
Type inference for Jinja2 templates
Rust 3d
⭐
36
3D/2D library written in Rust
Multi Type_vehicles_flow_statistics
⭐
34
According to YOLOv3 and SORT algorithms, counting multi-type vehicles. Implemented by Pytorch.
Typesandproofs
⭐
28
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Js Tree List
⭐
28
Convert list to tree, managing a tree and its nodes.
Stemid
⭐
26
Algorithm for the inference of cell types and lineage trees from single-cell RNA-seq data.
Raceid
⭐
26
Algorithm for the inference of cell types from single-cell RNA-seq data.
Snpsea
⭐
23
📊 Identify cell types and pathways affected by genetic risk loci.
Typelevel Dijkstra Sp
⭐
22
Dijkstra's shortest path algorithm implemented at type level with Haskell
Alphanum Sort
⭐
21
Alphanumeric sorting algorithm
Stlc
⭐
20
Dependently typed Algorithm M and friends
Bssom
⭐
19
Binary search algorithm structure model object binary marshalling
Hash Avatar
⭐
16
🌈 Hash avatar algorithm
Algorithmia Rust
⭐
16
A rust client library to query the Algorithmia API
Typelayout
⭐
15
An experiment in embedding layout computations in the type system.
W In Coq
⭐
15
This is a Coq formalization of Damas-Milner type system and its algorithm W.
Tymfgg Pearl
⭐
14
Type Your Matrices For Great Good
Ilattice3
⭐
13
Data types, structures, and algorithms for 3D integer lattices (voxels)
Asm Noise
⭐
11
An implementation of noise in asm.js
Super
⭐
11
Data structures, data types, and algorithms with superpowers! 💪😎
Zorbage
⭐
10
Zorbage: algebraic data types and algorithms for use in numeric processing.
Empht.jl
⭐
10
[Julia Package] Fitting Phase-Type Distributions using an EM Algorithm
Js Human Crypto Keys
⭐
10
Generate and import human-friendly cryptographic keys using mnemonics, QR codes and other methods
Sibylline
⭐
10
Data structures and algorithms written in C
Rmq
⭐
10
Implementations of LCA and RMQ data structures from "The LCA Problem Revisited"
Cryptdecrypt
⭐
9
Encrypt your password or decrypt your hash. Multiple algorithms supported.
Seq
⭐
9
Clojure-style seqs in CL
Codeclass
⭐
8
A online platform for all coding related materials ,from algorithms to deployment in practical.
Algorithmgo
⭐
8
Algorithm & Data structure by Golang
Knearest
⭐
7
A JS implementation of the K-Nearest-Neighbor machine-learning algorithm.
Dsubml
⭐
7
OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
Datagen
⭐
6
C++ library for generating random test data
Greedy Wrap
⭐
6
A recursive greedy algorithm implementation for the word wrap process.
Type Systems Scala
⭐
6
Implementations of various type systems in Scala.
Gsrinfer
⭐
6
A type reconstruction algorithm implementation for the implicitly and gradually typed language with shift and reset
Watertight Ray Triangle Intersection
⭐
6
An implementation of the Watertight Ray/Triangle Intersection algorithm
Learn Data_structure Algorithm By C
⭐
6
Data Structure and Algorithm explanations with Implementations by C
React Hash Avatar
⭐
5
React hash avatar algorithm
Ggf University
⭐
5
Just All My Stuff
Cmps101
⭐
5
UCSC - Algorithms and Abstract Data Types (CS 101)
Overly Ambitious Isqo
⭐
5
a c++ implementation of the isqo algorithm
Ultimatequadtree
⭐
5
The .NET implementation of the QuadTree structure for generic types.
Divisors
⭐
5
A blazing fast Rust library to find all divisors of a natural number. This library works with u8, u16, u32, u64, u128 and usize types.
Smx_enc_dec
⭐
5
This project used for the ECC type China National Algorithm SM2, SM3, SMx implementation
Tensorcur
⭐
5
Computing CUR-type decomposition for tensors
Sigsearch
⭐
5
Search for algorithms via type signature
Colge
⭐
5
Related Searches
Python Algorithms (9,749)
Javascript Types (8,178)
C Plus Plus Algorithms (6,250)
Algorithms Data Structure (4,627)
Java Algorithms (4,524)
Javascript Algorithms (3,576)
Typescript Types (2,606)
Python Types (2,536)
C Algorithms (2,341)
Jupyter Notebook Algorithms (2,326)
1-13 of 13 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.