#

smlnj

Here are 58 public repositories matching this topic...

spamegg1 / reviews

Reviewing some online CS courses I took

Updated Oct 5, 2024
JavaScript

T-Brick / molasses

MLB support for CM (the SML/NJ Compilation and Library Manager)

standard-ml mlton library-management smlnj

Updated Sep 29, 2023
Standard ML

ProjectSavanna / autoformat

Standard ML autoformatter

formatter sml standard-ml hacktoberfest autoformat smlnj

Updated Dec 25, 2021
Standard ML

Julian-Sam / SML-with-Assertions

sml-nj with a Functional Assertion Engine

Updated Sep 25, 2018
Standard ML

jez / smlnj-viscomp-example

An example of how to use SML/NJ's Visible Compiler APIs

Updated Jul 7, 2022
Standard ML

spamegg1 / unix-sml

Working through "Unix System Programming with Standard ML" by Anthony L. Shipman, 2001

linux unix debian ubuntu archlinux fedora ml sml standard-ml system-programming mlton mlkit polyml smlnj sml-nj mosml moscow-ml smlsharp alice-ml

Updated Jan 21, 2023
Standard ML

papachristoumarios / ntua-pl1

Programming Languages I Homework Assignments

java programming-language cpp prolog python3 smlnj

Updated Aug 30, 2018
Prolog

innodocs / VM

Virtual Machine dev

translator scala compiler lex gap antlr4 cpp17 yacc virtual-machines smlnj

Updated Apr 30, 2021
Scala

dram / smlnj-mirror

Mirror of Standard ML of New Jersey

sml standard-ml smlnj

Updated Sep 3, 2022

AlexandrosKyriakakis / Programming_Languages_2020

Exercises for course Programming Languages I 2020 at Ece-Ntua university!

python java cpp prolog sml competitive-programming ntua ece-ntua smlnj

Updated Mar 19, 2021
Prolog

RdecKa / AoC-2018

Advent of Code 2018

advent-of-code sml smlnj advent-of-code-2018

Updated Dec 10, 2018
Standard ML

FL-X

archaic-magnon / FL-X

Expression language FL(X)

compiler sml smlnj

Updated Oct 5, 2019
Standard ML

ProjectSavanna / setup-sml

Set up a Standard ML environment and add it to the PATH

actions sml standard-ml hacktoberfest smlnj

Updated Nov 1, 2024
JavaScript

ProjectSavanna / numbers

Numbers in Standard ML

sml numbers standard-ml numerical-methods hacktoberfest numerical rationals smlnj infinite-precision naturals unit-interval

Updated Nov 16, 2021
Standard ML

ProjectSavanna / setup-smackage

actions sml standard-ml smlnj

Updated Nov 1, 2024
JavaScript

benknoble / smlnj-parser-style

An SML parser and style-checker built on the SML-NJ compiler

stylelint parser linter sml smlnj sml-nj

Updated Dec 3, 2020
Standard ML

nverno / sml-ts-mode

Standard ML (SML) major mode for Emacs using tree-sitter

tree-sitter emacs sml standardml smlnj

Updated Oct 15, 2024
Emacs Lisp

mdd36 / tig-compiler

Tiger compiler written in SML

compiler functional-programming compiler-construction smlnj

Updated May 15, 2019
Standard ML

ricardokojo / MAC0316-2018

Repositório referente à matéria de MAC316 - Conceitos Fundamentais de Linguagens de Programação, ministrada pela Prof. Ana C.V. de Melo no 2º semestre de 2018 do curso Bacharelado em Ciência da Computação no IME-USP.

ime sml usp smlnj ime-usp mac316 mac0316

Updated Jul 30, 2019
Standard ML

large-factorial-using-karatsuba

archaic-magnon / large-factorial-using-karatsuba

Get factorial of large no using karatsuba algorithm.

sml karatsuba-multiplication smlnj karatsuba-algorithm sml-nj

Updated Oct 13, 2019
Standard ML

Improve this page

Add a description, image, and links to the smlnj topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the smlnj topic, visit your repo's landing page and select "manage topics."