Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for types repl
repl
x
types
x
12 search results found
Gluon
⭐
3,022
A static, type inferred and embeddable language written in Rust.
Chimney
⭐
1,069
Scala library for boilerplate-free, type-safe data transformations
Austral
⭐
946
Systems language with linear types and capability-based security.
Quack
⭐
295
🐤 A multi-paradigm programming language with gradual and duck typing that targets PHP and JS
Type Inference
⭐
295
The Hindley Milner Type Inference Algorithm
Whidbey
⭐
157
nREPL middleware to pretty-print colored values
Fsharp.umx
⭐
125
F# units of measure for primitive non-numeric types
Ttlite
⭐
108
A SuperCompiler for Martin-Löf's Type Theory
Vim Better Sml
⭐
100
🎉 Enjoy writing SML within Vim
Interactivecodesearch.jl
⭐
97
Interactively search Julia code from terminal
Josa
⭐
91
명사에 맞는 조사를 찾아줍니다.
C In Clj
⭐
79
A Clojure framework for efficiently writing C code
Configurations.jl
⭐
71
Options & Configurations made easy.
Elm Lang Chinese Manual
⭐
69
Elm 中文手冊
Minitt Rs
⭐
68
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
Sherlock.jl
⭐
57
A high functioning package detective.
Purescript Debugged
⭐
51
Tutorialforphysicists.jl
⭐
47
A Tutorial to Julia Language for Physicists
Huginn
⭐
42
Programming language with no quirks, so simple every child can master it.
Idris Protobuf
⭐
25
A partial implementation of Protocol Buffers in Idris
Numlin
⭐
23
NumLin: Linear Types for Linear Algebra
Haxe Repl
⭐
23
Haxe REPL (on JavaScript)
Node Elm Repl
⭐
21
👌 JavaScript tool, which provides fast access to the types (as structures, not just strings) and values of Elm expressions
Lambda Dti
⭐
20
Interpreter of the ITGL with dynamic type inference
Manifold
⭐
18
Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
Macrogen
⭐
17
Experimentation of scala macro paradise for utility macros.
Bitbasis.jl
⭐
17
Types and operations for basis represented by bits in linear algebra.
Mltt
⭐
15
Implementation of Martin-Löf Type Theory in Haskell
Cl Readline Example
⭐
12
Using readline in Common Lisp.
Frscript
⭐
11
A concatenative scripting language with a type system
Samara
⭐
9
An interpreter for a small ML-ish language
Lengine
⭐
9
Lengine: another Lisp Engine
Cs Repl
⭐
9
A REPL for C# (formerly known as CSI)
Pssst
⭐
9
Your functions have some secrets to tell you.
Incompletes
⭐
9
Derivation for incomplete type class instances
Type Inference
⭐
8
Hindley Milner Type Inference in Rust
Lifecalendar.jl
⭐
7
Life Calendar: your life in weeks. See the weeks of your life and mark the important ones.
Decaf In Scala
⭐
7
The Decaf compiler, written in Scala
Aerepl
⭐
6
A sophisticated Read-Eval-Print Loop for Sophia
D3typetrees.jl
⭐
5
julia type hierarchy visualization
Elm7more
⭐
5
Code for the Elm chapter in "Seven More Languages in Seven Weeks"
Ballerina Shell
⭐
5
Simple jShell like REPL for Ballerina programming langiuage
Extol
⭐
5
Extol Programming Language
Related Searches
Javascript Types (8,178)
Typescript Types (2,606)
Python Types (2,536)
Php Types (1,921)
Java Types (1,598)
Clojure Repl (1,540)
C Plus Plus Types (1,282)
Golang Types (1,257)
C Sharp Types (1,177)
Plugin Types (1,152)
1-12 of 12 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.