nml
Type system
An experimental implementation of a temporal-logic-based type system for programming languages.
Nazo ML - my toy programming language
59 stars
4 watching
0 forks
Language: F#
last commit: over 4 years ago
Linked from 1 awesome list
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 ck090/ocaml-nn | A monadic implementation of a fully-connected neural network in OCaml with customizable hyperparameters | 5 |
 sps014/blazorml5 | An ML5 machine learning library integrated with Blazor, allowing developers to build and train neural networks, image classifiers, and other models for various tasks. | 54 |
 japonophile/synaptic | A Clojure-based library for building and training neural networks | 88 |
 mrdimosthenis/fsharp.synapses | A plug-and-play F# library for building and training neural networks | 14 |
 neuralegion/crystal-fann | A Crystal binding for the Fast Artificial Neural Network library (FANN) to provide a simple interface for creating and training neural networks. | 85 |
 guanh01/cs692-mlsys | A repository of papers and resources on systems for machine learning and machine learning for systems. | 56 |
 xamber/varis | A Go-based neural network library for building and training artificial neural networks. | 55 |
 namin/dot | Mechanized proof of soundness for a type-theoretic foundation for languages like Scala | 154 |
 ismael-vc/uxn.jl | A Julia package for implementing a universal and self-contained relational database system | 0 |
 mplatvoet/funktional | A Kotlin implementation of monadic types for functional programming. | 10 |
 nikolaypavlov/mlpneuralnet | A fast neural network library for iOS and Mac OS X with vectorized operations and hardware acceleration. | 900 |
 ninjarobot/pengines.client | A F# client library that provides a simple interface to interact with a sandboxed Prolog environment for querying and evaluating logic rules. | 10 |
 gugarosa/nalp | A Python library for natural language processing with adversarial learning capabilities | 23 |
 mhlee0903/multi_channels_pinn | Investigating neural networks for drug discovery using multiple chemical descriptors. | 3 |
 goml/gobrain | A Go library implementing neural networks with basic training and prediction capabilities | 559 |